˜Theœ spin model checker primer and reference manual

Bibliographische Detailangaben

1. Verfasser:	Holzmann, Gerard J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston ; Munich u.a. Addison-Wesley 2003
Ausgabe:	1. print.
Schlagworte:	Debugging in computer science > Model Checking
Online Zugang:	Klappentext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!