The spin model checker : primer and reference manual / Gerard J. Holzmann

Von:

Holzmann, Gerard J, 1951- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Boston ; Munich [u.a.] : Addison-Wesley, 2004Beschreibung: XII, 596 S. : Ill., graph. DarstISBN:

0321228626
9780321773715
0321773713

Schlagwörter:

software engineering
software/program verification
testing and debugging
mathematical logic and formal languages
Model Checking
Systems engineering
Computer programs

DDC-Klassifikation:

620.001171
620/.001/171
004.24

RVK: RVK: ST 233LOC-Klassifikation:

TA168.H65 2003

Call number: Grundsignatur: E.Hol(45068)PPN: PPN: 1607850222

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Hol	Bibliothek / frei aufgestellt	E.Hol(45068)	Verfügbar	000461724090

Anzahl Vormerkungen: 0