> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Handbook of model checking Beteiligte: Clarke, Edmund M. [HerausgeberIn]; Henzinger, Thomas A. [HerausgeberIn]; Veith, Helmut [HerausgeberIn]; Bloem, Roderick [HerausgeberIn] Erschienen: Cham: Springer, [2018] Umfang: xxiv, 1210 Seiten; Illustrationen, Diagramme; 170 x 255 x 64 Sprache: Englisch ISBN: 9783319105741 Entstehung: RVK-Notation: ST 136 : Automatentheorie, Formale Sprache ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc. Schlagwörter: Model Checking > Algorithmus Anmerkungen: Literaturangaben
Bereichsbibliothek DrePunct – Freihand Signatur: ST 233 C597 Barcode: 34778276 Fällig am: 02.04.2024 Status: Ausgeliehen, Vormerken möglich > Vormerken möglich - bitte anmelden