25 years of model checking : history, achievements, perspectives [ Livre] / Orna, Grumberg
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Berlin : Springer, 2008Description : 1 vol. (VI-230 p.) ; 24 cmISBN: 9783540698494.Collection: Lecture notes in computer science, Festschrift, 5000, 0302-9743Classification: 004.1 Informatique théoriqueSujet - Nom commun: Logiciels | Logiciels -- Vérification | logique mathématique | Computer Science| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.1 GRU (Browse shelf) | Available | 004.1 Informatique théorique | 023117 |