Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen by Dirk Allmendinger | Menrva Books | MenrvaBooks