Unfoldings : a partial-order approach to model checking [ Livre] / Javier, Esparza ; Keijo, Heljanko
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Berlin : Springer, 2008Description : 1 vol. (169 p.) ; 24 cmISBN: 9783540774259.Collection: Monographs in Theoretical Computer ScienceClassification: 004.1 Informatique théoriqueSujet - Nom commun: Logiciels -- Vérification| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.1 ESP (Browse shelf) | Available | 004.1 Informatique théorique | 015399 |
Bibliogr. p.157-164 et index