Damm, Werner.
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / [electronic resource] : edited by Werner Damm, Holger Hermanns. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4590 0302-9743 ; . - Lecture Notes in Computer Science, 4590 .
9783540733683
10.1007/978-3-540-73368-3 doi
Computer science.
Logic design.
Software engineering.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logic Design.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / [electronic resource] : edited by Werner Damm, Holger Hermanns. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4590 0302-9743 ; . - Lecture Notes in Computer Science, 4590 .
9783540733683
10.1007/978-3-540-73368-3 doi
Computer science.
Logic design.
Software engineering.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logic Design.
QA76.9.L63 QA76.5913 QA76.63
005.1015113