Von dem Buch 13. Workshop MBMV10: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Herausgeber: Erlangen Fraunhofer IIS, Herausgeber: Manfred Dietrich: 13. Workshop MBMV10: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. (ISBN: 9783839601037) 2010, Fraunhofer Verlag, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
48%: Herausgeber: Dominik Stoffel, Herausgeber: Wolfgang Kunz: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (ISBN: 9783832224868) 2004, Shaker, Erstausgabe, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
13. Workshop MBMV10: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.
7 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2019 |
|---|---|---|---|---|
| Schnitt | € 44,00 | € 44,00 | € 44,00 | € 47,55 |
| Nachfrage |
1
13. Workshop MBMV10. (2010)
DE PB NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, Fraunhofer Verlag, Taschenbuch, neu.
Lieferung aus: Österreich, zzgl. Versandkosten.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.. Hrsg.: Fraunhofer IIS, Erlangen Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation. 17.02.2010, Taschenbuch.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.. Hrsg.: Fraunhofer IIS, Erlangen Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation. 17.02.2010, Taschenbuch.
2
13. Workshop MBMV10. (2010)
DE PB NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, Fraunhofer Verlag, Taschenbuch, neu.
Lieferung aus: Schweiz, Versandfertig innert 2 - 3 Wochen.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.. Hrsg.: Fraunhofer IIS, Erlangen, Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation. Taschenbuch, 17.02.2010.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen.. Hrsg.: Fraunhofer IIS, Erlangen, Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation. Taschenbuch, 17.02.2010.
3
13. Workshop MBMV10: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. (2010)
DE PB NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, 248 Seiten, Fraunhofer Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
13. Workshop MBMV10: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2010)
DE PB NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, 248 Seiten, Fraunhofer Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 4 bis 7 Tagen.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
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 (2004)
DE PB NW FEISBN: 9783832224868 bzw. 3832224866, in Deutsch, 296 Seiten, Shaker, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, Shaker_Verlag_GmbH.
Taschenbuch, Ausgabe: 1., Aufl. Label: Shaker, Shaker, Produktgruppe: Book, Publiziert: 2004-02, Studio: Shaker.
Von Händler/Antiquariat, Shaker_Verlag_GmbH.
Taschenbuch, Ausgabe: 1., Aufl. Label: Shaker, Shaker, Produktgruppe: Book, Publiziert: 2004-02, Studio: Shaker.
6
/ | 13. Workshop MBMV10. | Fraunhofer IRB | 2010
DE NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, Fraunhofer IRB, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
13. Workshop MBMV10 (2010)
DE NWISBN: 9783839601037 bzw. 3839601037, in Deutsch, Fraunhofer Verlag, neu.
Lieferung aus: Deutschland, 10 - 15 Tage/Verfügbar in 8 - 13 Tagen, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…