Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hung, Dang Van. (Editor), Kapur, Deepak. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10580
Subjects:
Computer logic.
Programming languages (Electronic computers).
Artificial intelligence.
Software engineering.
Mathematical logic.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Software Engineering.
Mathematical Logic and Formal Languages.
Table of Contents:
  • Logics
  • Software components and concurrency
  • Automata
  • SMT solvers and algorithms
  • Security.

Similar Items