Shankar, Natarajan.
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / [electronic resource] : edited by Natarajan Shankar, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5295 0302-9743 ; . - Lecture Notes in Computer Science, 5295 .
9783540878735
10.1007/978-3-540-87873-5 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Models and Principles.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / [electronic resource] : edited by Natarajan Shankar, Jim Woodcock. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5295 0302-9743 ; . - Lecture Notes in Computer Science, 5295 .
9783540878735
10.1007/978-3-540-87873-5 doi
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Models and Principles.
Artificial Intelligence (incl. Robotics).
QA8.9-QA10.3
005.131