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 /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hung, Dang Van. (Editor ), Kapur, Deepak. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10580
Materias:
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.
Tabla de Contenidos:
  • Logics
  • Software components and concurrency
  • Automata
  • SMT solvers and algorithms
  • Security.

Ejemplares similares