E-Book, Englisch, 424 Seiten
Clarke / Grumberg / Kroening Model Checking, second edition
Erscheinungsjahr 2018
ISBN: 978-0-262-34945-1
Verlag: MIT Press
Format: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
E-Book, Englisch, 424 Seiten
Reihe: Cyber Physical Systems Series
ISBN: 978-0-262-34945-1
Verlag: MIT Press
Format: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)