Media type: Book Title: The spin model checker : primer and reference manual Contributor: Holzmann, Gerard J. [Author] imprint: Boston; Munich [u.a.]: Addison-Wesley, 2004 Extent: XII, 596 S.; Ill., graph. Darst Language: English ISBN: 0321228626; 9780321773715; 0321773713 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Model Checking Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 233 H762 Item ID: 31296302 Status: Loanable
Departmental Library DrePunct – stack Shelf-mark: R2017 8 6746 Item ID: 31002773 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.
Departmental Library DrePunct Shelf-mark: ST 233 H762 Item ID: 31544406 Status: Verfügbarkeit bitte in Prof Systems Engineering erfragen.