Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
Bošnački, Dragan.
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / [electronic resource] : edited by Dragan Bošnački, Stefan Edelkamp. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4595 0302-9743 ; .
9783540733706
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
QA76.76.V47 / B67 2007
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / [electronic resource] : edited by Dragan Bošnački, Stefan Edelkamp. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4595 0302-9743 ; .
9783540733706
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
QA76.76.V47 / B67 2007