Unfoldings : a partial-order approach to model checking [ Livre] / Javier, Esparza ; Keijo, Heljanko

Auteur principal: Esparza, JavierCo-auteur: Heljanko, KeijoLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Berlin : Springer, 2008Description : 1 vol. (169 p.) ; 24 cmISBN: 9783540774259.Collection: Monographs in Theoretical Computer ScienceClassification: F Informatique théoriqueSujet - Nom commun: Logiciels -- Vérification
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F ESP (Browse shelf) Available F Informatique théorique 015399

Bibliogr. p.157-164 et index

Powered by Koha