Ina Schaefer Schaefer Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems

Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems

von Ina Schaefer

EUR 51,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Ina Schaefer

Stimmen zu »Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems«

Details

ISBN: 9783899638622
Verlag: Dr. Hut
Erscheinung: 18.12.2008

Link teilen

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


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