Media type: Book Title: Systems and software verification : model-checking techniques and tools Work titles: Vérification de logiciels <engl.> Contributor: Bérard, Béatrice [HerausgeberIn]; Bidoit, Michel [HerausgeberIn]; Finkel, Alain [HerausgeberIn] imprint: Berlin; Heidelberg$aNew York: Springer, 2001 Extent: XII, 190 Seiten; Illustrationen; 24 cm Language: English ISBN: 3540415238; 9783540415237 RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Reaktives System > Programmverifikation > Temporale Logik > Model Checking Origination: Footnote: Literaturangaben Überarbeitete Fassung der französischen Originalausgabe: Vérification de logiciels
Departmental Library DrePunct – open access area Shelf-mark: ST 233 B483 Item ID: 31296298 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 233 B483 Item ID: 30923613 Due date: 2024/08/23 Status: On loan, place hold > Reservation possible ‒ please log in
Departmental Library DrePunct – stack Shelf-mark: R2017 8 6723 Item ID: 30923705 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order