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 u.a. Addison-Wesley 2005
Ausgabe:2. print.
Schlagworte:
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:0321773713
0-321-77371-3
9780321773715
978-0-321-77371-5