> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Beteiligte: Ruf, Jürgen [Hrsg.] Erschienen: Göttingen: Cuvillier, 2014 Erschienen in: MBMV Ausgabe: 1. Aufl. Umfang: 220 S.; Ill., graph. Darst Sprache: Deutsch ISBN: 9783954046379 RVK-Notation: ZN 5300 : Allgemeines Schlagwörter: Entwurfsautomation > Systemsynthese > Modellierung > Beschreibungssprache > Verifikation Entstehung: Anmerkungen:
Bereichsbibliothek DrePunct – Freihand Signatur: ZN 2000.14 M478 Barcode: 33724123 Status: Ausleihbar