Theoretical Foundations of VLSI Design Image close
Theoretical Foundations of VLSI Design
Theoretical Foundations of VLSI Design
Show Hide Adult Content
Theoretical Foundations of VLSI Design close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Circuits & components

Theoretical Foundations of VLSI Design

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$170.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $42.50 with Afterpay Learn more

6 weekly interest-free payments of $28.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jun - 4 Jul using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Nets, Terms and Formulas by E-.R. Olderog
$143.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Free Choice Petri Nets by Jorg Desel
$132.00
Free Choice Petri Nets
by Jorg Desel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modal Logic by Patrick Blackburn
$289.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$99.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Epistemic Logic for AI and Computer Science by J.-J Ch. Meyer
$193.00
Epistemic Logic for AI and Computer Science
by J.-J Ch. Meyer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Extensions of First-Order Logic by Maria Manzano
$219.00
Extensions of First-Order Logic
by Maria Manzano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Higher Order Logic and Hardware Verification by T.F. Melham
$129.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$349.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$346.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$490.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$124.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$399.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Formal Semantics and Pragmatics for Natural Language Querying by James Clifford
$142.00
Formal Semantics and Pragmatics for Natural Language Querying
by James Clifford ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nominal Sets on Hardback by Andrew M. Pitts
$179.00
Nominal Sets
by Andrew M. Pitts ~ Hardback
Available - Usually ships in 3-4 weeks
Logic and Computation by Lawrence C. Paulson
$167.00
Logic and Computation
by Lawrence C. Paulson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi by Roberto M. Amadio
$183.00
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer science. Topics covered in this volume include: models of VLSI complexity; complexity theory; systolic algorithm design; specification theory; verification theory; design by stepwise refinement and transformations. A thorough literature survey with an exhaustive bibliography is also included. The book has grown from a workshop held at the Centre for Theoretical Computer Science at Leeds University and organised by the editors.
Release date NZ
December 4th, 2003
Audience
  • Professional & Vocational
Contributors
  • Edited by J.V. Tucker
  • Edited by K. McEvoy
Illustrations
Worked examples or Exercises
Pages
452
Dimensions
189x246x17
ISBN-13
9780521545655
Product ID
1977395

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 >
Electronics & communications engineering >
Electronics engineering >
Circuits & components
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design