Media type: Book Title: Handbook of model checking Contributor: Clarke, Edmund M. [HerausgeberIn]; Henzinger, Thomas [HerausgeberIn]; Veith, Helmut [HerausgeberIn]; Bloem, Roderick [HerausgeberIn] imprint: Cham: Springer, [2018] Extent: xxiv, 1210 Seiten; Illustrationen, Diagramme; 170 x 255 x 64 Language: English ISBN: 9783319105741 RVK notation: ST 136 : Automatentheorie, Formale Sprache ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Keywords: Model Checking > Algorithmus Origination: Footnote: Literaturangaben
Departmental Library DrePunct – open access area Shelf-mark: ST 233 C597 Item ID: 34778276 Due date: 2024/05/27 Status: On loan, place hold > Reservation possible ‒ please log in