Designing Correct Circuits Image close
Designing Correct Circuits
Designing Correct Circuits
Show Hide Adult Content
Designing Correct Circuits close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$137.99
RRP:
$180.95 save $42.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 19 Jun - 1 Jul using International Courier

Explore more Workshops in Computing

See all products in this series

Semantics of Specification Languages (SoSL) Save $49
$137.99
$187.95
Semantics of Specification Languages (SoSL)
Paperback / softback
Available - Usually ships in 3-4 weeks
Image Processing for Broadcast and Video Production Save $52
$134.99
$187.95
Image Processing for Broadcast and Video Production
Paperback / softback
Available - Usually ships in 3-4 weeks
Building Interactive Systems Save $54
$134.99
$189.95
Building Interactive Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
AI and Cognitive Science ’90 Save $49
$139.99
$189.95
AI and Cognitive Science ’90
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming, Glasgow 1990 Save $53
$135.99
$189.95
Functional Programming, Glasgow 1990
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Databases and Software Engineering Save $53
$133.99
$187.95
Formal Methods in Databases and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Code Generation — Concepts, Tools, Techniques Save $52
$136.99
$189.95
Code Generation — Concepts, Tools, Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
NAPAW 92 Save $53
$133.99
$187.95
NAPAW 92
Paperback / softback
Available - Usually ships in 3-4 weeks
Structures in Concurrency Theory Save $50
$136.99
$187.95
Structures in Concurrency Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
AI and Cognitive Science ’89 Save $51
$137.99
$189.95
AI and Cognitive Science ’89
Paperback / softback
Available - Usually ships in 3-4 weeks
Interfaces to Database Systems (IDS94) Save $49
$137.99
$187.95
Interfaces to Database Systems (IDS94)
Paperback / softback
Available - Usually ships in 3-4 weeks
6th Refinement Workshop Save $51
$135.99
$187.95
6th Refinement Workshop
Paperback / softback
Available - Usually ships in 3-4 weeks
AI and Cognitive Science ’92 Save $49
$137.99
$187.95
AI and Cognitive Science ’92
Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Methodology and Software Technology (AMAST’93) Save $47
$139.99
$187.95
Algebraic Methodology and Software Technology (AMAST’93)
Paperback / softback
Available - Usually ships in 3-4 weeks
14th Information Retrieval Colloquium Save $53
$133.99
$187.95
14th Information Retrieval Colloquium
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Program Synthesis and Transformation Save $51
$137.99
$189.95
Logic Program Synthesis and Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume contains the papers presented at the workshop on "Designing Correct Circuits", jointly organized by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. There is a growing interest in the application of software engineering techniques to hardware design. As the complexity of hardware systems grows, and as the cost both in money and time of making design errors becomes more apparent, so there is an eagerness to build on the success of mathematical techniques in program development. The authors consider the application of mathematics to hardware design at several different levels of abstraction and present a good cross-section of current work developing and applying formal methods in circuit design.
Release date Australia
April 30th, 1991
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Geraint Jones
  • Edited by Mary Sheeran
Illustrations
6 Illustrations, black and white; VIII, 355 p. 6 illus.
Pages
355
Dimensions
170x244x19
ISBN-13
9783540196594
Product ID
14287273

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 >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Storage media & peripherals
Books >
Computers & Internet >
Computer hardware >
Storage media & peripherals
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence