Model Checking, second edition

Angebote / Angebote:

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

90,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9780262038836
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Clarke, Edmund M. / Grumberg, Orna / Kroening, Daniel / Peled, Doron / Veith, Helmut
Einband Fester Einband
Sprache eng
Seiten 424
Verlag MIT Press
Reihe Cyber Physical Systems Series
Publikationsjahr 20181204

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.