Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
1
E-Resource
E-Resource
MBMV 2019 : 22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” : 8.-9. April in Kaiserlautern (2019)
Berlin : VDE VERLAG GMBH
Details
ISBN: 9783800749454 , 3800749459
Language: German
Pages: 1 CD-ROM , 56 g
Parallel Title: Erscheint auch als MBMV (22. : 2019 : Kaiserslautern) MBMV 2019
DDC: 621.395
Keywords: Konferenzschrift 2019 ; CD-ROM ; Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation
Library Location Call Number Volume/Issue/Year Availability
BibTip Others were also interested in ...
E-Resource
Associated Volumes
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...