Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

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: 37.43 EUR
Availability: InStock
Author: Jürgen Ruf
ISBN: 9783954046379

Jürgen Ruf

Dirk Allmendinger

Matteo Michel

Língua

Alemão

Livro Capa mole

Código Libristo: 13415882

Editoras Cuvillier Verlag, fevereiro 2014

Das vorliegende Buch ist eine Sammlung von Papieren der Workshops? Methoden und Beschreibungssprache... Descrição completa

Código Libristo: 13415882

91 b

37.43 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Livro de capa dura

6.45 €

Artificial Intelligence Leonidas Deligiannidis

Livro de capa dura

189.70 €

Parade Dave Eggers

Capa mole

12.60 €

Žuvot Tomáš Ulej

Capa mole

9.78 €

Baron Trump Novels Ingersoll Lockwood

Livro de capa dura

24.51 €

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

Capa mole

12.91 €

Honda CB600 Hornet, CBR600F (07-1 Matthew Coombs

Capa mole

40.55 €

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

Capa mole

14.22 €

Neurophysiological Techniques Alan A. Boulton

Capa mole

54.28 €

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

Livro de capa dura

131.47 €

What Was Socialism, and What Comes Next? Katherine Verdery

Capa mole

64.27 €

Beyond Nab End William Woodruff

Capa mole

14.82 €

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.