Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19629 HUF
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

Language

English

Book Paperback

Libristo code: 05273449

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2002

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

Libristo code: 05273449

132 b

19 629 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels

Paperback

41 497 Ft

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

Paperback

13 931 Ft

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

Book

5 713 Ft

Kroki Maciej Bieszczad

Paperback

2 476 Ft

The Making of an Englishman Fred Uhlman

Paperback

4 655 Ft

Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye

Paperback

14 064 Ft

Richard Nixon Antoine Coppolani

Paperback

15 750 Ft

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

Hardback

4 265 Ft

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

Hardback

3 533 Ft

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

Stationery items

1 216 Ft

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

Paperback

12 053 Ft

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

Hardback

5 713 Ft

Macht unserer Gedanken Manfred Bogenschütz

Paperback

5 980 Ft

Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann

DVD

4 818 Ft

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

Paperback

7 279 Ft

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

Paperback

7 561 Ft

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

Hardback

32 013 Ft

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

Paperback

13 709 Ft

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

Audio CD

2 985 Ft

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

Game

2 194 Ft

Pbx Per Colaggio E Compressione Massimo Castiglia

Paperback

101 594 Ft

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.