Media type: Book Title: The spin model checker : primer and reference manual Contributor: Holzmann, Gerard J. [Author] imprint: Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005 Issue: 2. print. Extent: XII, 596 S.; graph. Darst Language: English ISBN: 0321228626 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Model Checking Origination: Footnote:
Departmental Library DrePunct Shelf-mark: ST 233 H762 Item ID: 31662592 Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.