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

 Staff view

You must be logged in to Tag Records

Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

edited by Rajeev Joshi, Peter Müller, Andreas Podelski.

Book Cover
Names: Joshi, Rajeev. | Müller, Peter. | Podelski, Andreas.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7152
Topics: Computer science. | Software engineering. | Logic design. | 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).
Tags: Add


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


Loading Holdings Data ... Loading

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