25 years of model checking : history, achievements, perspectives [ Livre] / Orna, Grumberg

Auteur principal: Grumbert, OrnaLangue: 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: F 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
F GRU (Browse shelf) Available F Informatique théorique 023117

Powered by Koha