Skip to main content
METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN. 2020. (MBMV 2020) GMM-FACHBERICHT 96
- Item #:
- 056650
- UPC:
Details
-
Title:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2020)
-
Date/Location:
Held 19-20 March 2020, Stuttgart, Germany.
-
Series:
GMM-Fachbericht 96
-
ISBN:
9781713820147
-
Pages:
112 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
VDE Verlag Gmbh
-
POD Publisher:
Curran Associates, Inc. ( Dec 2020 )
-
Title:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2020)
-
Date/Location:
Held 19-20 March 2020, Stuttgart, Germany.
-
Series:
GMM-Fachbericht 96
-
ISBN:
9781713820147
-
Pages:
112 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
VDE Verlag Gmbh
-
POD Publisher:
Curran Associates, Inc. ( Dec 2020 )