Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Ben-Ari, Mordechai (1948-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Principles of the Spin model checker [Texte imprimé] / Mordechai Ben-Ari

Publication : London : Springer, cop. 2008

Description matérielle : 1 vol. (XV-216 p.) : ill. ; 24 cm

Note(s) : Bibliogr. p. 209-210

Sujet(s) : Logiciels -- Vérification  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781846287695. - ISBN 1846287693 (br.)

Identifiant de la notice  : ark:/12148/cb41264624t

Notice n° :  FRBNF41264624 (notice reprise d'un réservoir extérieur)