Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
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 submission...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2017] |
Literature type: | Book |
Language: | English |
Series: |
Lecture Notes in Computer Science,
10580 |
Subjects: | |
Summary: |
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. |
Carrier Form: | xx, 304 pages : illustrations ; 24 cm. |
Bibliography: | Includes bibliographical references and author index. |
ISBN: |
9783319677286 3319677284 9783319677293 3319677292 |
Index Number: | QA76 |
CLC: | TP30-532 |
Call Number: | TP30-532/T396/2017 |
Contents: | Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security. |