Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Computer Architecture

Name: Computer Architecture
Brand: Springer, Berlin
SKU: 01653658
Price: 50.63 EUR
Availability: InStock
Author: Silvia M. Mueller
ISBN: 9783642086915

Complexity and Correctness

Silvia M. Mueller

Wolfgang J. Paul

Language

English

Book Paperback

Libristo code: 01653658

Publishers Springer, Berlin, November 2009

Hardware correctness is becoming ever more important in the design of computer systems. The authors... Full description

Libristo code: 01653658

122 b

50.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Wolf's Rain - Perfect Edition Bones

Hardback

21.16 €

Zpráva o stavu Evropského soudu pro lidská práva Aleš Pejchal

Paperback

8.90 €

One piece Eiichiro Oda

Paperback

6.98 €

METALLICA Que justice soit faite ! McIver

Hardback

41.52 €

Peregrinos Místicos: Jornadas Diversas Eduardo M Guimaraes

Paperback

19.84 €

Gérer et animer ses réunions 2e édition René-Louis Comtois

Paperback

29.77 €

De La Liberte De Conscience Et De Culte A Haiti (1824) Henri Gregoire

Paperback

15.08 €

manuelletherapie Expertenwissen Johannes Bessler

Hardback

32.30 €

KASANE 6 DARUMA MATSUURA

Paperback

16.30 €

Dandysmus Francoise Coblenceová

Hardback

12.55 €

guo jia jiao se yu xin gong dang jiao yu gai ge Rong Zheng Chen

Paperback

62.38 €

Argonautenschiff 2013

Paperback

23.49 €

Die Tennisspieler Lars Gustafsson

Paperback

11.84 €

Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, based on mathematically well-founded formal methods which allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation. This book develops, at the gate level, the complete design of a pipelined RISC processor with a fully IEEE-compliant floating-point unit. In contrast to other design approaches, the design presented here is modular, clean and complete.