Couverture : Principles of the Spin model checker

Couverture : Open Library

← Fiche de l'œuvre

Principles of the Spin model checker

Mordechai Ben-Ari

Détails de l'édition

ISBN-13: 9781846287695
EAN: 9781846287695
Éditeur: Springer (London)
Date de publication: 1 janvier 2008
Langue: eng
Pages: 216
Dimensions: 24 cm

Provenance des données

dimensions BnF Catalogue général · 23 juillet 2026
language BnF Catalogue général · 23 juillet 2026
page_count BnF Catalogue général · 23 juillet 2026
publication_date BnF Catalogue général · 23 juillet 2026