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

21,0 cm / 14,8 cm / 1,2 cm ( B/H/T )
Buch (Softcover), 222 Seiten
EAN 9783954046379
Veröffentlicht Februar 2014
Verlag/Hersteller Cuvillier

Auch erhältlich als:

eBook (pdf)
27,72
37,62 inkl. MwSt.
Teilen
Beschreibung

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.

Hersteller
Cuvillier Verlag
Nonnenstieg 8

DE - 37075 Göttingen

E-Mail: info@cuvillier.de

Das könnte Sie auch interessieren

Katharina Zweig
Weiß die KI, dass sie nichts weiß?
Buch (Softcover)
Sofort lieferbar
20,00
Roberto Simanowski
Sprachmaschinen
Buch (Softcover)
Sofort lieferbar
23,00
Vorbestellbar
18,00
Marc-Uwe Kling
Der Tag, an dem die Oma das Internet kaputt...
Buch (Hardcover)
Sofort lieferbar
12,00
Silke Müller
Schule gegen Kinder
Buch (Hardcover)
Sofort lieferbar
22,00
Andreas Erle
Das kann KI
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
19,90
Aldous Huxley
Zeit der Oligarchen
Buch (Hardcover)
Sofort lieferbar
14,00
Nicholas Potter
Die neue autoritäre Linke
Buch (Softcover)
Sofort lieferbar
20,00
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
6,95
Jannis Brühl
Disruption
Buch (Softcover)
Sofort lieferbar
20,00
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Nina Kolleck
Der Kampf in den Köpfen
Buch (Hardcover)
Sofort lieferbar
24,00
Joachim Bauer
Menschlichkeit in digitalen Zeiten
Buch (Hardcover)
Sofort lieferbar
24,00
Sofort lieferbar
4,95
Aya Jaff
Broligarchie
Buch (Hardcover)
Sofort lieferbar
23,99
Martin Warnke
Large Language Kabbala
Buch (Softcover)
Vorbestellbar - erscheint am 28.05.2026
16,00
Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
Buch (Softcover)
Vorbestellbar
20,00
Robert Klaßen
Windows 11
Buch (Softcover)
Sofort lieferbar
12,90
Sarah Kuttner
Mama & Sam
Buch (Hardcover)
Sofort lieferbar
24,00
Wolfram Lotz
Träume in Europa
Buch (Hardcover)
Sofort lieferbar
23,00
Christian Immler
Instagram optimal nutzen - Alle Funktionen ...
Buch (Softcover)
Sofort lieferbar
9,95
Sofort lieferbar
8,25
Dirk Baecker
Digitalisierung
Buch (Softcover)
Sofort lieferbar
20,00
Johannes Knörzer
Ein Quantum Zukunft - Quantenphysik und Qua...
Buch (Softcover)
Sofort lieferbar
24,99
Frank-Michael Becker
Formelsammlung bis zum Abitur - Mathematik ...
Buch (Softcover)
Sofort lieferbar
16,99
Jörg Rieger Espind...
Windows 11 für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Ingo Dachwitz
Digitaler Kolonialismus
Buch (Hardcover)
Sofort lieferbar
28,00
Jörg Rieger Espind...
Das große Mac-Buch für Einsteiger und Umste...
Buch (Softcover)
Sofort lieferbar
29,90
Cornelia Lohs
Der inoffizielle James Bond Reiseführer
Buch (Softcover)
Sofort lieferbar
19,99
Julia Ruhs
Links-grüne Meinungsmacht
Buch (Softcover)
Sofort lieferbar
20,00
Bernhard Pörksen
Zuhören
Buch (Hardcover)
Sofort lieferbar
24,00
Sofort lieferbar
19,95
Kim Beck
Basiskurs Medienbildung.Gesamtkurs
Buch (Softcover)
Sofort lieferbar
9,00
Ralf T. Kreutzer
Praxisorientiertes Online-Marketing
Buch (Softcover)
Lieferbar innerhalb von 3-5 Tagen
49,99
Sofort lieferbar
12,30