Meyer, Bertrand.
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / [electronic resource] : edited by Bertrand Meyer, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4171 0302-9743 ; . - Lecture Notes in Computer Science, 4171 .
9783540691495
10.1007/978-3-540-69149-5 doi
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).
QA76.6-76.66
005.11
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / [electronic resource] : edited by Bertrand Meyer, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4171 0302-9743 ; . - Lecture Notes in Computer Science, 4171 .
9783540691495
10.1007/978-3-540-69149-5 doi
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).
QA76.6-76.66
005.11