Touili, Tayssir.
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / [electronic resource] : edited by Tayssir Touili, Byron Cook, Paul Jackson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6174 0302-9743 ; . - Lecture Notes in Computer Science, 6174 .
9783642142956
10.1007/978-3-642-14295-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / [electronic resource] : edited by Tayssir Touili, Byron Cook, Paul Jackson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6174 0302-9743 ; . - Lecture Notes in Computer Science, 6174 .
9783642142956
10.1007/978-3-642-14295-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
QA76.9.L63 QA76.5913 QA76.63
005.1015113