25 years of model checking :
25 years of model checking : history, achievements, perspectives
Orna Grumberg, Helmut Veith (eds.).
- Berlin : Springer, 2008.
- vi, 230 p. : ill. ; 24 cm.
- Lecture notes in computer science, 5000 0302-9743 ; LNCS. Festschrift .
- Lecture notes in computer science ; 5000. Lecture notes in computer science. Festschrift. .
Includes bibliographical references and index.
9783540698494 (pbk.) = EECS-Reference book collection
12326419
2008929605
08,A29,0089 dnb 08,N26,0091 dnb
989061388 DE-101
Computer systems--Verification.
Informatique.
Structure logique.
Génie logiciel.
Model Checking.
Programming
Aufsatzsammlung.
QA76.76.V47 / A23 2008
005.1 Y32
Includes bibliographical references and index.
9783540698494 (pbk.) = EECS-Reference book collection
12326419
2008929605
08,A29,0089 dnb 08,N26,0091 dnb
989061388 DE-101
Computer systems--Verification.
Informatique.
Structure logique.
Génie logiciel.
Model Checking.
Programming
Aufsatzsammlung.
QA76.76.V47 / A23 2008
005.1 Y32