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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

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 249 b
103.03 €
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 90.68 €
Terapia smiechom Diana Ďuricová / Book Paperback
common.buy 23.57 €
Julius Caesar William Shakespeare / Book Book
common.buy 8.49 €
Kinderhospizarbeit Sven Jennessen / E-book Adobe ePub DRM
common.buy 31.87 €
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Book Paperback
common.buy 31.98 €
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Book Hardback
common.buy 18.01 €
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Book Hardback
common.buy 32.68 €
Coming soon
BACK Green / Book Paperback
common.buy 24.99 €
Une breve histoire de la philosophie Droit / Book Paperback
common.buy 12.84 €
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Book Paperback
common.buy 44.53 €
Dhakafaar Cabdullaahi Janno / Book Paperback
common.buy 12.14 €
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Book Paperback
common.buy 45.24 €
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Book Paperback
common.buy 35.32 €
Como contar historias sobre desastres? Martins Mario / Book Paperback
common.buy 25.90 €
Coming soon
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Book Paperback
common.buy 12.74 €
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Book Hardback
common.buy 253.14 €

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 124.69 €
Top
May We Be Spared to Meet on Earth Regina Koellner / Book Hardback
common.buy 55.96 €
Hand-book Of Toxicology Preston Benjamin Rose / Book Paperback
common.buy 18.41 €
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Book Hardback
common.buy 33.60 €
Legende Ridley Scott / Video Blu-ray
common.buy 12.74 €
Edge of Grace Christa Allan / Book Paperback
common.buy 14.26 €
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Book Paperback
common.buy 39.26 €
Tribe Sebastian Junger / Book Paperback
common.buy 10.11 €
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Book Paperback
common.buy 12.34 €
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Book Paperback
common.buy 103.03 €
Top
Tales From Acorn Wood Little Library Julia Donaldson / Book Board book
common.buy 7.68 €
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Book Paperback
common.buy 103.23 €
Business Email Marc Roche / Book Paperback
common.buy 13.86 €
Hidden Beginnings: The Hidden Series Nicole Colville / Book Paperback
common.buy 15.78 €
Architectural Studies In France (1890) John Louis Petit / Book Paperback
common.buy 40.17 €
Mr Le Mans: Tom Kristensen Dan Philipsen / Book Hardback
common.buy 42.10 €
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Book Hardback
common.buy 180.67 €
Darkling Child Terry Brooks / Book Paperback
common.buy 12.54 €
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Book Hardback
common.buy 205.87 €
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Book Hardback
common.buy 89.77 €
Press Censorship in Elizabethan England Clegg / Book Hardback
common.buy 126.51 €
Loss of the Ship Essex Sunk By a Whale Owen Chase / Book Paperback
common.buy 14.77 €
Top
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Game/Toy Jigsaw puzzle
common.buy 15.48 €
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Book Hardback
common.buy 57.08 €

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?