Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - 20. maja 1994
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Warren A. Hunt
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 19. jun

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 20. maja 1994
ISBN13 9783540579601
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 342
Dimenzije 156 × 234 × 18 mm   ·   498 g
Jezik Angleščina  

Mere med samme udgiver

Ogled vseh Warren A. Hunt ( Na primer Paperback Book )