Karsten Strehl Strehl Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design

von Karsten Strehl

EUR 47,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Karsten Strehl

Stimmen zu »Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design«

Details

ISBN: 9783826571930
Verlag: Shaker
Erscheinung: 2000

Link teilen

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


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