Buch beschaffen
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
MBMV 2012
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…
Printexemplar erwerben
Selbstverständlich können Sie das Buch auch in Ihrer Buchhandlung vor Ort bestellen.
Bibliotheken können zudem unsere eBooks bei ProQuest beziehen.
Geschäftskunden bestellen bitte direkt beim Verlag Dr. Kovač, gern auch per E-Mail.
Als eBook erwerben
Hinweis: Bibliotheken/Studierende können unsere eBooks bei ProQuest Ebook Central beziehen.
In den Bibliotheken
Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.