Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.
By: Meyer, Bertrand.
Contributor(s): Woodcock, Jim | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 4171.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540691495.Subject(s): Computer science | Software engineering | Operating systems (Computers) | Logic design | Artificial intelligence | Computer Science | Programming Techniques | Software Engineering | Programming Languages, Compilers, Interpreters | Operating Systems | Logics and Meanings of Programs | Artificial Intelligence (incl. Robotics)DDC classification: 005.11 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.