Reihe eXamen.pressChristian Haubelt ×eBooks × Digitale Hardware/Software-SystemeSpezifikation und VerifikationChristian HaubeltSpringer BerlineBook2010