Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen -

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Carsten Gremzow, Nico Moser (Herausgeber)

Buch | Softcover
IV, 248 Seiten
2009
Technische Uni Berlin (Verlag)
978-3-7983-2118-2 (ISBN)
15,00 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
Der Workshop “Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen” ist ein Forum, um Trends, neueste
Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung
und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-
Signal-Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wichtiges
Anliegen dieses Workshops.
Zusatzinfo zahlr. Abb.
Sprache englisch; deutsch
Maße 148 x 210 mm
Gewicht 337 g
Einbandart Paperback
Themenwelt Technik Elektrotechnik / Energietechnik
Schlagworte Beschreibungssprachen • Entwurfsautomatisierung • Modellierung • Systemsynthese • Verifikation
ISBN-10 3-7983-2118-3 / 3798321183
ISBN-13 978-3-7983-2118-2 / 9783798321182
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Wegweiser für Elektrofachkräfte

von Gerhard Kiefer; Herbert Schmolke; Karsten Callondann

Buch | Hardcover (2024)
VDE VERLAG
48,00