Print this page
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Hardback (01 Jan 1989)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Other formats/editions

Check stock

Book information

ISBN: 9780262041010
Publisher: MIT Press
Imprint: The MIT Press
Pub date:
DEWEY: 621.395
DEWEY edition: 20
Language: English
Number of pages: 163
Weight: 454g
Height: 230mm
Spine width: 25mm

We recommend

Introduction to Quantum Cryptography

Thomas Vidick, Steph...

Hardback
Published 14 Sep 2023

  • $64.87
Add to basket

$1.72off

Our Final Invention

James Barrat

Paperback
Published 20 Jul 2023

Save $1.72

  • RRP $13.90
  • $12.18
Add to basket

$8.62off

Quick Start Guide to Large Language Models

Sinan Ozdemir

Paperback
Published 03 Oct 2023

Save $8.62

  • RRP $48.05
  • $39.43
Add to basket

$2.43off

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

Paperback
Published 25 Sep 2023

Save $2.43

  • RRP $58.17
  • $55.74
Add to basket

$4.92off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $4.92

  • RRP $13.90
  • $8.98
Add to basket

$2.34off

Futureproof

Kevin Roose

Paperback
Published 03 Feb 2022

Save $2.34

  • RRP $13.90
  • $11.56
Add to basket

$2.30off

The Age of AI

Henry Kissinger, Eri...

Paperback
Published 04 Aug 2022

Save $2.30

  • RRP $13.90
  • $11.60
Add to basket
Superintelligence

Nick Bostrom

Paperback
Published 14 Apr 2016

  • $13.96
Add to basket
Deep Learning

Ian Goodfellow, Yosh...

Hardback
Published 03 Jan 2017

  • $90.50
Add to basket

$4.60off

The Singularity Is Near

Ray Kurzweil

Paperback
Published 09 Mar 2006

Save $4.60

  • RRP $24.02
  • $19.42
Add to basket