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

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$159.99
RRP:
$203.95 save $43.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 $40.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$187.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Theory and Applications of Models of Computation
$337.99
Theory and Applications of Models of Computation
Paperback / softback
Pre-order - out 21 May 2024
Foundations and Practice of Security
$151.99
Foundations and Practice of Security
Paperback / softback
Pre-order - out 26 May 2024
Advances in Knowledge Discovery and Data Mining
$288.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 5 Jun 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 31 May 2024
Advances in Cryptology – EUROCRYPT 2024
$291.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024
Big Data Analytics in Astronomy, Science, and Engineering
$218.99
Big Data Analytics in Astronomy, Science, and Engineering
Paperback / softback
Pre-order - out 10 Jun 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$128.99
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out Tuesday
Topics in Cryptology – CT-RSA 2024
$199.99
Topics in Cryptology – CT-RSA 2024
Paperback / softback
Pre-order - out 7 Jun 2024
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$291.99
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Advances in Knowledge Discovery and Data Mining
$242.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 27 May 2024
Selected Areas in Cryptography
$185.99
Selected Areas in Cryptography
Paperback / softback
Pre-order - out 13 Jun 2024
Mathematical Foundations of Programming Semantics Save $50
$146.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Construction Save $9
$148.99
$158.95
Compiler Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Quality-Driven Query Answering for Integrated Information Systems by Felix Naumann
$138.99
Quality-Driven Query Answering for Integrated Information Systems
by Felix Naumann ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.
Release date Australia
October 23rd, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Albert Camilleri
  • Edited by Mandayam Srivas
Illustrations
X, 478 p.
Pages
478
Dimensions
156x234x24
ISBN-13
9783540619376
Product ID
2814162

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 >
Theory & Design >
Systems analysis & design
Books >
Computers & Internet >
Hardware & Operating Systems >
Storage media & peripherals
Books >
Computers & Internet >
Graphical & digital media applications >
Computer-aided design (CAD)
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer hardware >
Storage media & peripherals
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design