Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Dang Van Hung, Deepak Kapur (Herausgeber)

Buch | Softcover

XX, 305 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
9783319677286 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.

The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

Logics.- Software components and concurrency.- Automata.- SMT solvers and algorithms.- Security.

Erscheinungsdatum	24.10.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XX, 305 p. 58 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	498 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Artificial Intelligence • Automata Theory • computer architecture & logic design • Computer architecture & logic design • Computer programming / software engineering • Computer Science • conference proceedings • Formal Logic • formal methods • Informatics • Informatik • logics • Logics and meanings of programs • Model Checking • Research • semantics and reasoning • software organization and properties • theorem proving • theoretical computer science • Theory of security • verification
ISBN-13	9783319677286 / 9783319677286
Zustand	Neuware