Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561190
Price: 57.79 EUR
Availability: InStock
Author: Dominique Borrione
ISBN: 9783540291053

13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Dominique Borrione

Wolfgang Paul

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561190

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2005

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Co... Descrizione completa

Codice Libristo: 01561190

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Offener Himmel - weiter Raum Hans-Christoph Goßmann

In brossura

26.09 €

Chants populaires de France Eric LEBARDE

In brossura

12.59 €

Les Napolitains Marcelle Padovani

In brossura

20.09 €

Pilote d'essais du cerf-volant à l'aéroplane Bellenger

In brossura

34.99 €

Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann

In brossura

93.59 €

bisschen mehr als Freundschaft Andreas Neubauer

In brossura

24.79 €

Deutsche Predigten und Traktate eister Eckhart

Rigido

44.09 €

Projektmanagement Fur Kulturmanager Armin Klein

In brossura

52.69 €

Das Interieur in Karl Mays Amerika-Romanen Anna Lindner

In brossura

16.89 €

Studienzeiten als Ist-Prozess Christiene Jasmand

In brossura

51.99 €

Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt

In brossura

37.39 €

Malé životy Milan Čarňanský

In brossura

5.39 €

Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne

CD audio

19.39 €

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.§The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Correct Hardware Design and Verification Methods

Autore Dominique Borrione, Wolfgang Paul

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2005

Numero di pagine 414

EAN 9783540291053

ISBN 3540291059

Codice Libristo 01561190

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1330

Dimensioni 155 x 235 x 24

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Informatica e Tecnologia dell’Informazione > Hardware informatico

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Precursor Chemistry of Advanced Materials Roland A. Fischer

Rigido

355.79 €

So...This is Your Life- Mataya Arrow Gaye J. Gompers

In brossura

44.09 €

Life in the Far West George F. Ruxton

In brossura

19.69 €

Pointing at the Moon Jay L. Garfield

In brossura

43.09 €

Adjusting to Globalization Greenaway

In brossura

33.09 €

Runaway Joyce Case

In brossura

14.29 €

Mexico Michael Hogan

In brossura

10.69 €

Tallahassee: A Capital City History Julianne Hare

In brossura

20.59 €

Punta Gorda Ann M. O'Phelan

In brossura

20.59 €

Reserve Retirement Reform Beth J. Asch

In brossura

23.49 €

Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa

In brossura

23.79 €