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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods in Computer-Aided Design Warren A. Hunt
Libristo code: 01563129
Publishers Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Full description
? points 263 b
107.91 €
211.06  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Book Book
common.buy 93.52 € 182.90 лв
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Book Hardback
common.buy 33.82 € 66.16 лв
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Book Hardback
common.buy 18.66 € 36.49 лв
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Book Paperback
common.buy 32.39 € 63.34 лв
Kinderhospizarbeit Sven Jennessen / E-book Adobe ePub DRM
common.buy 33.26 € 65.05 лв
Julius Caesar William Shakespeare / Book Book
common.buy 8.89 € 17.39 лв
Terapia smiechom Diana Ďuricová / Book Paperback
common.buy 18.97 € 37.09 лв
Coming soon
BACK Green / Book Paperback
common.buy 25.19 € 49.26 лв
Une breve histoire de la philosophie Droit / Book Paperback
common.buy 12.59 € 24.63 лв
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Book Paperback
common.buy 46.83 € 91.60 лв
Dhakafaar Cabdullaahi Janno / Book Paperback
common.buy 12.08 € 23.62 лв
Bewertung nachhaltiger Produktentwicklungspartnerschaften in der Gießereiindustrie Robert Christian Fandl / Book Paperback
common.buy 61.85 € 120.96 лв
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Book Paperback
common.buy 46.94 € 91.80 лв
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Book Paperback
common.buy 38.86 € 76.01 лв
Como contar historias sobre desastres? Martins Mario / Book Paperback
common.buy 27.30 € 53.39 лв
Coming soon
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Book Paperback
common.buy 13.47 € 26.34 лв
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Book Hardback
common.buy 263.69 € 515.74 лв

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

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 Warren A. Hunt, Steven D. Johnson
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 552
EAN 9783540412199
ISBN 3540412190
Libristo code 01563129
Publishers Springer, Berlin
Weight 780
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Reference, Information & Interdisciplinary subjects > Research & information: general > Information theory > Cybernetics & systems theory
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Computing & Information Technology > Computer programming / software engineering
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

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Book Paperback
common.buy 129.76 € 253.79 лв
May We Be Spared to Meet on Earth Regina Koellner / Book Hardback
common.buy 57.83 € 113.12 лв
Understanding Reform in Myanmar Marie Lall / Book Paperback
common.buy 39.33 € 76.92 лв
Hand-book Of Toxicology Preston Benjamin Rose / Book Paperback
common.buy 18.30 € 35.79 лв
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Book Hardback
common.buy 33.36 € 65.25 лв
Legende Ridley Scott / Video Blu-ray
common.buy 13.00 € 25.43 лв
Edge of Grace Christa Allan / Book Paperback
common.buy 14.18 € 27.74 лв
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Book Paperback
common.buy 38.97 € 76.21 лв
Tribe Sebastian Junger / Book Paperback
common.buy 10.74 € 21.01 лв
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Book Paperback
common.buy 12.28 € 24.02 лв
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Book Paperback
common.buy 108.53 € 212.26 лв
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Book Paperback
common.buy 107.91 € 211.06 лв
Top
Tales From Acorn Wood Little Library Julia Donaldson / Book Board book
common.buy 8.12 € 15.88 лв
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Book Hardback
common.buy 188.89 € 369.43 лв
Business Email Marc Roche / Book Paperback
common.buy 13.77 € 26.94 лв
Hidden Beginnings: The Hidden Series Nicole Colville / Book Paperback
common.buy 15.62 € 30.56 лв
Architectural Studies In France (1890) John Louis Petit / Book Paperback
common.buy 39.89 € 78.02 лв
Mr Le Mans: Tom Kristensen Dan Philipsen / Book Hardback
common.buy 44.62 € 87.27 лв
History and Antiquities of the County of Somerset, Collected from Authentick Records, and an Actual Survey Made by the Late Mredmund Rack Adorned with John Collinson / Book Paperback
common.buy 18.09 € 35.39 лв
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Book Hardback
common.buy 215.52 € 421.52 лв
Theology in Transposition Myk Habets / Book Paperback
common.buy 43.64 € 85.36 лв
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Book Hardback
common.buy 89.25 € 174.56 лв
Press Censorship in Elizabethan England Clegg / Book Hardback
common.buy 125.70 € 245.85 лв
Loss of the Ship Essex Sunk By a Whale Owen Chase / Book Paperback
common.buy 14.70 € 28.75 лв

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?