Digitale Hardware/Software-Systeme – Spezifikation und Verifikation
Springer, 1. Aufl., Juni 2010, XV, 594 S. 283 Abb., brosch., EUR 29,95, SFr 51,50, ISBN-10 364205355, ISBN-13 978-3642053556
For more information please visit the german website https://www.cs12.tf.fau.de/forschung/veroeffentlichungen/digitale-hardwaresoftware-systeme-spezifikation-und-verifikation/
Fragen – Questions
juergen.teich@fau.de