MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Cover

MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Illustrationen 1

Details

ISBN/EAN: 978-3-95404-637-9

Einband: kartoniertes Buch

Herausgeber:
Jürgen Ruf , Dirk Allmendinger , Matteo Michel

Auflage:
1. Auflage 2014

Erschienen am:
18.02.2014

Sprache:
Deutsch

Umfang:
222 S.

Format (T/L/B):
1.3 x 21 x 14.8 cm

Hersteller:
BoD - Books on Demand
info@bod.de
In de Tarpen 42
DE 22848 Norderstedt

Weitere Details arrow_forward_ios

Jürgen Ruf , Dirk Allmendinger , Matteo Michel

MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Name: MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen von Jürgen Ruf/Dirk Allmendinger/Matteo Michel (kartoniertes Buch)
Brand: Cuvillier
SKU: 9783954046379
Price: 39.6 EUR
Availability: InStock

Cuvillier

39,60 €

inkl. MwSt.

zzgl. Versandkosten

Lieferbar innerhalb 1 - 2 Wochen

Zur Wunschliste hinzufügen

heart_plus

Details

Weitere Details

MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Mehr aus dieser Reihe

Andere Kunden kauften auch

Andere Artikel von "Jürgen Ruf, Dirk Allmendinger, Matteo Michel"

Weitere Artikel aus der Kategorie "Informatik, EDV"