Principles of model checking [ Livre] / Joost-Pieter, Katoen / Christel, Baier
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge, (Mass.), London : MIT Press, 2008Description : 1 vol. (XVII-975 p.) ; 26 cmISBN: 9780262026499; 026202649X.Classification: 004.1 Informatique théoriqueSujet - Nom commun: Logiciels | Logiciels -- Vérification | Logiciels -- Développement | Ordinateurs -- Fiabilité | Génie logiciel| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.1 BAI (Browse shelf) | Available | 004.1 Informatique théorique | 021818 |