The Secd Microprocessor: a Verification Case Study - the Springer International Series in Engineering and Computer Science - Brian T. Graham - Books - Kluwer Academic Publishers - 9780792392453 - May 31, 1992
In case cover and title do not match, the title is correct

The Secd Microprocessor: a Verification Case Study - the Springer International Series in Engineering and Computer Science 1992 edition

Brian T. Graham

Price
Mex$ 2,301
excl. VAT

Ordered from remote warehouse

Expected delivery Sep 1 - 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

The Secd Microprocessor: a Verification Case Study - the Springer International Series in Engineering and Computer Science 1992 edition

Presents a case study of hardware specification and verification. This title is of interest to those considering the use or learning about the application of formal methods.

192 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 31, 1992
ISBN13 9780792392453
Publishers Kluwer Academic Publishers
Pages 192
Dimensions 156 × 234 × 12 mm   ·   453 g
Language English  

See all of Brian T. Graham ( e.g. Hardcover Book and Paperback Book )