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

By:

Holzmann, Gerard J, 1951- [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Boston ; Munich [u.a.] : Addison-Wesley, 2004Description: XII, 596 S. : Ill., graph. DarstISBN:

0321228626
9780321773715
0321773713

Subject(s):

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

DDC classification:

620.001171
620/.001/171
004.24

RVK: RVK: ST 233LOC classification:

TA168.H65 2003

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

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Freihandbestand ausleihbar	Fachbibliothek Informatik	E.Hol	Bibliothek / frei aufgestellt	E.Hol(45068)	Available		000461724090

Total holds: 0

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)