Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Buch (Autor)


Details zur Publikation

Autorinnen und Autoren: Haubelt C, Teich J
Verlag: Shaker Verlag
Verlagsort: Aachen
Jahr der Veröffentlichung: 2007


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. (2007). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Aachen: Shaker Verlag.

MLA:
Haubelt, Christian, and Jürgen Teich. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Aachen: Shaker Verlag, 2007.

BibTeX: 

Zuletzt aktualisiert 2018-01-09 um 07:11