Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Sprache(n): Deutsch

ISBN: 978-3-931466-35-0 / 978-3931466350 / 9783931466350

Verlag: Universität Paderborn Heinz Nixdorf Institut

Erscheinungsdatum: 30.11.1997

Autor(en): Wolfgang Müller
Herausgegeben von Franz J Rammig