Mohlo by sa vám tiež páčiť

Viac informácií o knihe MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 81 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik, EDV - Sonstiges

• Celý názov: MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
• Autor: Jürgen Ruf, Dirk Allmendinger, Matteo Michel
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 222
• EAN: 9783954046379
• ISBN: 3954046377
• ID: 13415882
• Nakladateľ: Cuvillier Verlag
• Hmotnosť: 294 g
• Rozmery: 210 × 148 × 12 mm
• Dátum vydania: 18. February 2014

Obľúbené z iného súdka

---

---

---