The spin model checker : primer and reference manual

The spin model checker primer and reference manual

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Holzmann, Gerard J. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Boston, Mass., Munich u.a. Addison-Wesley 2006
Ausgabe:3rd printing
Schlagworte:
Systems engineering > Mathematical models > Computer programs > Testing > Model Checking
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XII, 596 S.
graph. Darst.
ISBN:0321228626
0-321-22862-6
9780321228628
978-0-321-22862-8