Formal Methods in Computer-Aided Design Image close
Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design
Show Hide Adult Content
Formal Methods in Computer-Aided Design close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Technology: general issues  
Technical design  
Computer aided design

Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$137.99
RRP:
$214.95 save $76.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 Jun - 10 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Computer-Aided Cooperative Product Development
$269.99
Computer-Aided Cooperative Product Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications –- ICCSA 2009 Save $64
$273.99
$338.95
Computational Science and Its Applications –- ICCSA 2009
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Management in Computer Integrated Manufacturing
$270.99
Information Management in Computer Integrated Manufacturing
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Computer-Aided Design
$267.99
Formal Methods in Computer-Aided Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Cooperative Design, Visualization, and Engineering
$133.99
Cooperative Design, Visualization, and Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer-Aided Design and Computer Graphics
$180.99
Computer-Aided Design and Computer Graphics
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory - EUROCAST 2009
$412.99
Computer Aided Systems Theory - EUROCAST 2009
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Methods for Curves and Surfaces Save $21
$141.99
$163.95
Mathematical Methods for Curves and Surfaces
Paperback / softback
Available - Usually ships in 3-4 weeks
Smart Graphics
$136.99
Smart Graphics
Paperback / softback
Available - Usually ships in 3-4 weeks
Field-Programmable Logic and Applications
$270.99
Field-Programmable Logic and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Numerical Methods and Applications
$268.99
Numerical Methods and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory - EUROCAST 2003
$270.99
Computer Aided Systems Theory - EUROCAST 2003
Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Technology for Verification and Analysis
$266.99
Automated Technology for Verification and Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory -- EUROCAST 2011 Save $58
$144.99
$203.95
Computer Aided Systems Theory -- EUROCAST 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Systems Theory -- EUROCAST 2013 Save $15
$142.99
$158.95
Computer Aided Systems Theory -- EUROCAST 2013
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing Save $57
$138.99
$196.95
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis.
Release date Australia
October 23rd, 2002
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by John W. O'Leary
  • Edited by Mark D Aagaard
Illustrations
XII, 408 p.
Pages
408
Dimensions
156x234x21
ISBN-13
9783540001164
Product ID
2802253

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Technology: general issues >
Technical design >
Computer aided design
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)