Georges Morbé Morbé Verifying Real-Time Systems

Verifying Real-Time Systems

von Georges Morbé

EUR 47,90

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Georges Morbé

Themen in »Verifying Real-Time Systems«

Incomplete Systems Model Checking Timed Automata Verification

Stimmen zu »Verifying Real-Time Systems«

Details

ISBN: 9783862475223
Verlag: Der Andere Verlag
Erscheinung: 06.07.2015

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden