Jens Brandt & Klaus Schneider (Hrsg.) - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
MBMV 2012
Lieferung & Versand
Für diesen Artikel wurde keine geeignete Versandart ermittelt. Bitte melden Sie sich bei uns.
- Zahlungsarten:
Ü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
Angaben zur Produktsicherheit
Hersteller
Verlag Dr. Kovač GmbH
Leverkusenstraße 13, 22761 Hamburg
E-Mail
info@verlagdrkovac.de
-
SchriftenreiheForschungsergebnisse zur Informatik
-
ISSN1435-6260
-
Band68
Lieferzeit
Zahlungsarten
Sie können via Paypal, Kreditkartenzahlung oder Vorkasse bezahlen. Firmenkunden können auf Rechnung kaufen.
Lieferzeit
Die Lieferzeit innerhalb Deutschlands beträgt üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.
Paket-Versand
Einige Artikel werden aufgrund ihrer Größe, Menge und/oder ihres Gewichtes als Paket versendet.
Verzögerungen
Sollten einige Artikel kurzfristig nicht lieferbar sein oder sich die versprochene Lieferzeit verzögern, werden Sie per E-Mail von uns darüber informiert.
Logistikpartner
Die bestellten Artikel werden von uns schnellstmöglich verpackt und unserem Logistikpartner versandfertig übergeben. Bitte beachten Sie, dass wir auf Verzögerungen, die von unserem Logistikpartner verursacht sind, keinen Einfluss haben.
Sendungsverfolgung
Anhand Ihrer Paket-Identnummer/Sendungsnummer können Sie jederzeit den aktuellen Sendungsstatus Ihres Paketes erfahren. Weitere Informationen zur Sendungsverfolgung erhalten Sie in Ihrer Lieferbestätigung per eMail.
Kontakt
Sie erreichen unseren Kundenservice telefonisch unter 040 398880 0 sowie per E-Mail unter shop@verlagdrkovac.de.