Media type: Book Title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Contributor: Ruf, Jürgen [Hrsg.] imprint: Göttingen: Cuvillier, 2014 Published in: MBMV Issue: 1. Aufl. Extent: 220 S.; Ill., graph. Darst Language: German ISBN: 9783954046379 RVK notation: ZN 5300 : Allgemeines Keywords: Entwurfsautomation > Systemsynthese > Modellierung > Beschreibungssprache > Verifikation Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZN 2000.14 M478 Item ID: 33724123 Status: Loanable