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

Punto Poste 5.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05273449
Price: 53.79 EUR
Availability: InStock
Author: Mark D. Aagaard
ISBN: 9783540001164

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Mark D. Aagaard

John W. O'Leary

Lingua

Inglese

Libro In brossura

Codice Libristo: 05273449

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

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Descrizione completa

Codice Libristo: 05273449

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels

In brossura

110.29 €

Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme

CD audio

8.09 €

Posca akrylový popisovač 2,5 mm fluo-oranžový

Articoli di cancelleria

3.29 €

Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye

In brossura

37.29 €

Q je O s ocáskem Ivona Březinová

Rigido

10.19 €

Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten

Gioco

5.79 €

Pbx Per Colaggio E Compressione Massimo Castiglia

In brossura

278.39 €

GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu

Libro

15.69 €

Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák

In brossura

36.29 €

The Making of an Englishman Fred Uhlman

In brossura

12.29 €

Začátečníci Raymond Carver; Jiří Hrubý

Rigido

11.99 €

Kroki Maciej Bieszczad

In brossura

6.49 €

Richard Nixon Antoine Coppolani

In brossura

41.29 €

Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann

DVD

13.19 €

Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin

In brossura

29.99 €

Oeuvres de Voltaire 51-52, 54-70. Correspondance. T. 59 Voltaire

In brossura

37.59 €

¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro

Rigido

15.69 €

Macht unserer Gedanken Manfred Bogenschütz

In brossura

15.89 €

Trasjanka und Surzyk - gemischte weissrussisch-russische und ukrainisch-russische Rede Gerd Hentschel

Rigido

87.69 €

Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton

In brossura

19.89 €

De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda

In brossura

19.09 €

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.