The Secd Microprocessor: a Verification Case Study - the Springer International Series in Engineering and Computer Science - Brian T. Graham - Bøger - Kluwer Academic Publishers - 9780792392453 - 31. maj 1992
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Brian T. Graham

Pris
¥ 22.587,50

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 11. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. maj 1992
ISBN13 9780792392453
Forlag Kluwer Academic Publishers
Antal sider 192
Mål 156 × 234 × 12 mm   ·   453 g
Sprog Engelsk  

Se alt med Brian T. Graham ( f.eks. Hardcover bog og Paperback Bog )