Overview
- Based on rigorous mathematical formalisms
- Completey modular design
- Correctness proofs for almost all components
- Coverage of the relevant issues within a reasonable number of pages
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(9 chapters)
About this book
Reviews
Authors and Affiliations
-
IBM Lab Böblingen - Dept. 3173, Böblingen, Germany
Silvia Melitta Mueller
-
Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany
Wolfgang J. Paul
Bibliographic Information
Book Title: Computer Architecture
Book Subtitle: Complexity and Correctness
Authors: Silvia Melitta Mueller, Wolfgang J. Paul
DOI: https://doi.org/10.1007/978-3-662-04267-0
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2000
Hardcover ISBN: 978-3-540-67481-8Published: 19 May 2000
Softcover ISBN: 978-3-642-08691-5Published: 01 December 2010
eBook ISBN: 978-3-662-04267-0Published: 11 November 2013
Edition Number: 1
Number of Pages: XIII, 553
Topics: Computer System Implementation, Computer Hardware, Processor Architectures