Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

Buch (Autor)


Details zur Publikation

Autorinnen und Autoren: Haubelt C, Teich J
Verlag: Springer-Verlag
Verlagsort: Berlin, Heidelberg
Jahr der Veröffentlichung: 2010


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Haubelt, C., & Teich, J. (2010). Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. Berlin, Heidelberg: Springer-Verlag.

MLA:
Haubelt, Christian, and Jürgen Teich. Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. Berlin, Heidelberg: Springer-Verlag, 2010.

BibTeX: 

Zuletzt aktualisiert 2018-08-08 um 14:54