Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Majumdar, Rupak. (Editor), Kunčak, Viktor. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10427
Subjects:
Computer logic.
Programming languages (Electronic computers).
Software engineering.
Computer programming.
Computers.
Mathematical logic.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
Computing Milieux.
Mathematical Logic and Formal Languages.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items