Authors:
- 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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
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