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.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 4171Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.Description: v.: digitalISBN: - 9783540691495
- 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)
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.