Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods in Computer-Aided Design

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

Language EnglishEnglish
Book Paperback
Book Formal Methods in Computer-Aided Design Mark D. Aagaard
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
? points 136 b
19 829 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels / Book Paperback
common.buy 40 639 Ft
Kroki Maciej Bieszczad / Book Paperback
common.buy 2 570 Ft
Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin / Book Paperback
common.buy 11 494 Ft
Posca akrylový popisovač 2,5 mm fluo-oranžový / Stationery items Stationery items
common.buy 1 022 Ft
The Making of an Englishman Fred Uhlman / Book Paperback
common.buy 4 554 Ft
Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye / Book Paperback
common.buy 13 783 Ft
GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu / Book Book
common.buy 5 623 Ft
Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák / Book Paperback
common.buy 13 640 Ft
Top
Kutyaszív Mihail Bulgakov / Book Hardback
common.buy 2 363 Ft
Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme / Audio Audio CD
common.buy 2 671 Ft
¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro / Book Hardback
common.buy 5 623 Ft
De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda / Book Paperback
common.buy 7 230 Ft
Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton / Book Paperback
common.buy 7 506 Ft
Back For The Attack (Lim.Collector's Edition) Dokken / Audio Audio CD
common.buy 8 367 Ft
Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann / Video DVD
common.buy 4 803 Ft
Začátečníci Raymond Carver; Jiří Hrubý / Book Hardback
common.buy 4 177 Ft
Pbx Per Colaggio E Compressione Massimo Castiglia / Book Paperback
common.buy 25 774 Ft
Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten / Game/Toy Game
common.buy 2 146 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods in Computer-Aided Design
Author Mark D. Aagaard, John W. O'Leary
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 408
EAN 9783540001164
ISBN 3540001166
Libristo code 05273449
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1290
Dimensions 155 x 235 x 23

Categories

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Neural Networks: Computational Models and Applications Huajin Tang / Book Hardback
common.buy 59 257 Ft
Advances in Production Management Systems. Sustainable Production and Service Supply Chains Dimitris Kiritsis / Book Paperback
common.buy 39 543 Ft
X Factor Clair Berube / Book Hardback
common.buy 36 228 Ft
Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone / Book Paperback
common.buy 11 462 Ft
Small Economies & Global Economics Azman Ahmad / Book Hardback
common.buy 45 926 Ft
Three Reading Plays For Children Close / Book Paperback
common.buy 6 134 Ft
Virgin & The Dragon Hibbert / Book Paperback
common.buy 6 014 Ft
British librarianship and information work 2006-2010 J H Bowman / Book Hardback
common.buy 16 748 Ft
Beverly Bedeviled Edward R Brown / Book Paperback
common.buy 4 117 Ft
History of the City of New York in the Seventeenth Century Van Rensselaer / Book Hardback
common.buy 15 289 Ft
Healing Promises Kenneth Copeland / Book Paperback
common.buy 4 996 Ft
The Mercy Papers: A Memoir of Three Weeks Robin Romm / Book Paperback
common.buy 5 402 Ft
Introduction to Criminal Psychology Russil Durrant / Book Hardback
common.buy 90 875 Ft
A Beautiful Struggle Emily McKee / Book Paperback
common.buy 3 942 Ft
What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR / Book Paperback
common.buy 5 563 Ft
My Kinky, Coily Hair AISHA RICE / Book Paperback
common.buy 3 854 Ft
Nailed It Marian Newman / Book Hardback
common.buy 10 412 Ft
General Electric Review, V39, No. 3, March, 1936 General Electric Company / Book Paperback
common.buy 8 441 Ft
Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio / Book Paperback
common.buy 2 906 Ft
The Traumatic Surreal: Germanophone Women Artists and Surrealism After the Second World War Patricia Allmer / Book Paperback
common.buy 11 655 Ft
Halo Effect Anne D. LeClaire / Audiobook MP3
common.buy 15 316 Ft
Top
Warriors Super Edition: Crookedstar's Promise Erin Hunter / Book Paperback
common.buy 2 247 Ft
Threat Abeer Baker / Book Hardback
common.buy 48 597 Ft
Elliptic Partial Differential Equations Vitaly Volpert / Book Hardback
common.buy 55 315 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?