Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

Haubelt C, Teich J (2010)

Publication Type: Authored book

Publication year: 2010

Publisher: Springer-Verlag

City/Town: Berlin, Heidelberg

Authors with CRIS profile

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

How to cite

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: Download