Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012 (Schriftenreihe Forschungsergebnisse zur Informatik)
5 Angebote vergleichen
Bester Preis: € 78,00 (vom 10.11.2015)1
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2012 (2012)
DE PB NW FE
ISBN: 9783830062011 bzw. 383006201X, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.
Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 68 218 pages. 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.
Forschungsergebnisse zur Informatik, Band 68 218 pages. 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.
2
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2012 (2012)
DE PB NW FE
ISBN: 9783830062011 bzw. 383006201X, in Deutsch, Verlag Dr. Kovac, Hamburg, Taschenbuch, neu, Erstausgabe.
Von Händler/Antiquariat, Verlag Dr. Kovac GmbH [56043471], Hamburg, Germany.
Forschungsergebnisse zur Informatik, Band 68 218 pages. 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.
Forschungsergebnisse zur Informatik, Band 68 218 pages. 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.
3
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012 (Schriftenreihe Forschungsergebnisse zur Informatik) (2012)
DE PB NW FE
ISBN: 9783830062011 bzw. 383006201X, in Deutsch, 218 Seiten, Kovac, Dr. Verlag, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012 (Schriftenreihe Forschungsergebnisse zur Informatik) (2012)
DE PB NW FE
ISBN: 9783830062011 bzw. 383006201X, in Deutsch, 218 Seiten, Kovac, Dr. Verlag, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, verlagdrkovac.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2012 (2012)
DE PB NW
ISBN: 9783830062011 bzw. 383006201X, in Deutsch, Kovac, Dr. Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland.
Von Händler/Antiquariat, InternetBuchhandlung A. Bell, [3194875].
Taschenbuch, Neuware, Internationaler Versand, PayPal, Banküberweisung.
Von Händler/Antiquariat, InternetBuchhandlung A. Bell, [3194875].
Taschenbuch, Neuware, Internationaler Versand, PayPal, Banküberweisung.
Lade…