Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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: 48.57 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

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05273449

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2002

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

Koda Libristo: 05273449

118 b

48.57 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels

Mehka

99.56 €

Pbx Per Colaggio E Compressione Massimo Castiglia

Mehka

249.02 €

Kroki Maciej Bieszczad

Mehka

6.12 €

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

Zvočni CD

6.53 €

Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye

Mehka

33.38 €

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

Trda

8.74 €

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

Igra

5.83 €

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

Trda

10.55 €

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

Knjiga

16.18 €

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

Mehka

37.40 €

The Making of an Englishman Fred Uhlman

Mehka

11.05 €

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

Mehka

19.00 €

Richard Nixon Antoine Coppolani

Mehka

39.62 €

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

Pisarniški material

3.31 €

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

Mehka

27.56 €

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

Trda

13.97 €

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

Mehka

36.10 €

Macht unserer Gedanken Manfred Bogenschütz

Mehka

14.17 €

Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann

DVD

12.06 €

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

Trda

83.77 €

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

Mehka

18.19 €

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.