Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Name: MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Brand: Cuvillier Verlag
SKU: 13415882
Price: 33.74 EUR
Availability: InStock
Author: Jürgen Ruf
ISBN: 9783954046379

Jürgen Ruf

Dirk Allmendinger

Matteo Michel

Language

German

Book Paperback

Libristo code: 13415882

Publishers Cuvillier Verlag, February 2014

Das vorliegende Buch ist eine Sammlung von Papieren der Workshops? Methoden und Beschreibungssprache... Full description

Libristo code: 13415882

81 b

33.74 €

In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Óvodások tankönyve II. Deáknéb. Katalin

Hardback

6.48 €

Artificial Intelligence Leonidas Deligiannidis

Hardback

190.52 €

Parade Dave Eggers

Paperback

15.90 €

Žuvot Tomáš Ulej

Paperback

10.33 €

Baron Trump Novels Ingersoll Lockwood

Hardback

24.62 €

Childhood Regained: Student Edition, Grades 6 to 8 Jodie Renner

Paperback

12.46 €

Honda CB600 Hornet, CBR600F (07-1 Matthew Coombs

Paperback

40.73 €

Think and Grow Rich: The Original, an Official Publication of the Napoleon Hill Foundation Napoleon Hill

Paperback

14.28 €

Neurophysiological Techniques Alan A. Boulton

Paperback

51.78 €

Science and Innovation Policy for the New Knowledge Economy Massimo G. Colombo

Hardback

138.93 €

What Was Socialism, and What Comes Next? Katherine Verdery

Paperback

47.83 €

Beyond Nab End William Woodruff

Paperback

13.98 €

Das vorliegende Buch ist eine Sammlung von Papieren der Workshops? Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen? (MBMV). Der Workshop ist bereits der siebzehnte gemeinsame Workshop 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 Feinmechanik (GMM). In diesem Jahr findet der Workshop erstmals im IBM Forschungs- und Entwicklungslabor in Böblingen statt. Die MBMV ist ein Forum um Trends, neuste Ergebnisse und aktuelle Probleme auf d em Gebiet der Methoden zur Modellierun und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Auch Aspekte des Entwurfs und Tests von hardwarenaher eingebetteter Software werden im Rahmen dieses Workshops beleuchtet.