Error title
Some error text about your books and stuff.
Close

The Secd Microprocessor a Verification Case Study

by Brian T. Graham

The Secd Microprocessor A Verification Case Study cover
  • ISBN: 9780792392453
  • ISBN10: 0792392450

The Secd Microprocessor a Verification Case Study

by Brian T. Graham

  • List Price: $189.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 06/01/1992
  • ISBN: 9780792392453
  • ISBN10: 0792392450
used Add to Cart $81.57
You save: 57%
Marketplace Item
new Add to Cart $132.81
You save: 30%
FREE economy shipping!
Description: Foreword. Preface. 1. Formal Methods and Verification. 2. LispKit and the SECD Architecture. 3. SECD Architecture: Silicon Synthesis. 4. Formal Specification of the SECD Design. 5. Verification of the SECD Design. 6. Denouement. Bibliography. Index.
Expand description
Seller Condition Comments Price  
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$81.57
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).