25 Years of Model Checking

Grumberg, Orna.

25 Years of Model Checking History, Achievements, Perspectives / [electronic resource] : edited by Orna Grumberg, Helmut Veith. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - Lecture Notes in Computer Science, 5000 0302-9743 ; . - Lecture Notes in Computer Science, 5000 .

9783540698500

10.1007/978-3-540-69850-0 doi


Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Programming Techniques.
Mathematical Logic and Formal Languages.

Con tecnología Koha