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