Cover is for reference only

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink Online service
Group Author: Hung, Dang Van; Kapur, Deepak
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10580
Subjects:
Computer science
Software engineering
Programming languages Electronic computers
Computer logic
Mathematical logic
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence incl. Robotics
Mathematical Logic and Formal Languages
Online Access: http://dx.doi.org/10.1007/978-3-319-67729-3
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: 1 online resource (XX, 305 pages): illustrations.
ISBN: 9783319677293
Index Number: QA76
CLC: TP302.2
Contents: Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.

Related Book Recommendations