Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - 20. maj 1994
Ved uoverensstemmelse mellem cover og titel gælder titel

Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

Warren A. Hunt

Pris
Kč 1.480

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

Vores kunder siger:

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

Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.

342 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 20. maj 1994
ISBN13 9783540579601
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 342
Mål 156 × 234 × 18 mm   ·   498 g
Sprog Engelsk  

Se alt med Warren A. Hunt ( f.eks. Paperback Bog )