Model Checking, second edition
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Model Checking, second edition

Edmund M. Clarke
MIT Press
Sofort lieferbar | Lieferzeit: Sofort lieferbar I

78,99 €*

In den Warenkorb
Zum Merkzettel
Zahlung / Versand
ISBN-13:
9780262349451
Veröffentl:
2018
Seiten:
424
Autor:
Edmund M. Clarke
Serie:
Cyber Physical Systems Series
eBook Typ:
EPUB
eBook Format:
EPUB
Kopierschutz:
2 - DRM Adobe
Sprache:
Englisch
Systemvoraussetzungen
Beschreibung:

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.

weniger

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.
> neue Rezension schreiben
Mehr zum Thema
Google Plus
Powered by Inooga