Model Checking Software
Pol, Jaco
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings [electronic resource] edited by Jaco Pol, Michael Weber - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6349 0302-9743 .
9783642161643
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings [electronic resource] edited by Jaco Pol, Michael Weber - Berlin, Heidelberg Springer Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6349 0302-9743 .
9783642161643
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages