Digitale Hardware/Software-Systeme : Spezifikation und Verifikation - Haubelt, Christian (Verfasser); Teich, Jürgen (Verfasser) (eXamen.press, 2010)