Location & Availability for: Verified Software: Theories, Tools, and

 Staff view

You must be logged in to Tag Records

Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /

edited by Arie Gurfinkel, Sanjit A. Seshia.

Book Cover
Names: Gurfinkel, Arie, | Seshia, Sanjit A.,
Published: Cham : Springer International Publishing : Imprint : Springer, 2016.
Edition: 1st ed. 2016.
Series: Lecture notes in computer science ; 9593.
Topics: Computer science. | Computer programming. | Software engineering. | Programming languages (Electronic computers) | Computer logic. | Logic, Symbolic and mathematical. | Artificial intelligence. | Computer Science. | Software Engineering. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Programming Techniques. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics).
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Verified Software: Theories, Tools, and