Kybernetik und SystemtheorieChristian Haubelt ×Springer Berlin × Digitale Hardware/Software-SystemeSpezifikation und VerifikationChristian HaubeltSpringer BerlinSoftcover2010