Startseite Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Jens Brandt & Klaus Schneider (Hrsg.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Jens Brandt & Klaus Schneider (Hrsg.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Jens Brandt & Klaus Schneider (Hrsg.) - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

78,00 €
78,00 €
inkl. MwSt.
zzgl. Versandkosten

Lieferzeit max. 5 Tage *

Die Menge muss 1 oder mehr sein

Lieferung & Versand

  • Warensendung bis 500 g
    0,00 €
    Lieferzeit max. 5 Tage

Über das Buch

Zum Inhalt

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen 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 Feinwerktechnik (GMM). Ziel der Veranstaltung ist es, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren und Ideen auszutauschen.

Dieser Tagungsband enthält die Beiträge aller Autoren. [...]

Schlagworte

Informatik, Elektro-/Informationstechnik, Systementwurf, Beschreibungssprachen, Codesgin, Formale Verifikation, Simulation, Formale Modellierung

  • Autor*in
    Jens Brandt & Klaus Schneider (Hrsg.)
  • Seiten
    218
  • Jahr
    Hamburg 2012
  • ISBN
    978-3-8300-6201-1
  • Schriftenreihe
    Forschungsergebnisse zur Informatik
  • ISSN
    1435-6260
  • Band
    68
  • Fachbereich
    Naturwissenschaft, Technik & Medizin

Lieferzeit

(*) Die Lieferzeit beträgt innerhalb Deutschlands üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.