MBMV 2014

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

E-Book (PDF) 27,72€

E-Book (PDF)

27,72€

inkl. gesetzl. MwSt.

EPDF sofort downloaden
Downloads sind nur in Österreich möglich!
Leitfaden zu E-Books

In den Warenkorb

Click & Collect
Artikel online bestellen und in der Filiale abholen.

Artikel in den Warenkorb legen, zur Kassa gehen und Wunschfiliale auswählen. Lieferung abholen und bequem vor Ort bezahlen.

Derzeit in keiner facultas Filiale lagernd. Jetzt online bestellen!

Auf die Merkliste

Veröffentlicht 2014, von Jürgen Ruf bei Cuvillier Verlag

ISBN: 978-3-7369-4637-8
222 Seiten

...

Kurztext / Annotation
Das vorliegende Buch ist eine Sammlung von Papieren der Workshops? Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen? (MBMV). Der Workshop ist bereits der siebzehnte gemeinsame Workshop der Fachgruppen 3 und 4 der Kooperationsgemeinschaft ?Rechnergestützter Schaltungs- und Systementwurf (RSS)? der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinmechanik (GMM). In diesem Jahr findet der Workshop erstmals im IBM Forschungs- und Entwicklungslabor in Böblingen statt. Die MBMV ist ein Forum um Trends, neuste Ergebnisse und aktuelle Probleme auf d em Gebiet der Methoden zur Modellierun und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Auch Aspekte des Entwurfs und Tests von hardwarenaher eingebetteter Software werden im Rahmen dieses Workshops beleuchtet.

Beschreibung für Leser
Unterstützte Lesegerätegruppen: PC/MAC/eReader/Tablet