Principles of the Spin model checker [ Livre] / Mordechai Ben-Ari
Langue : anglais.Publication : London : Springer, cop.2008Description : 1 vol. (XV-216 p.) : ill., couv.ill. en coul. ; 24 cmISBN : 9781846287695; 1846287693.Dewey : 005.14, 22Bibliographie : Bibliogr.p. [209]-210. Index..Sujet - Nom commun: 7622 | 2552 | Computer software -- Verification| Type de document | Site actuel | Cote | Statut | Notes | Date de retour prévue |
|---|---|---|---|---|---|
Livre
|
Bibliothèque Universitaire Mohamed Sekkat 2ème étage | 005.14 BEN (Parcourir l'étagère) | Exclu du prêt | New 2019 |
Bibliogr.p. [209]-210. Index.
Il n'y a pas de commentaire pour ce document.