 Mathematical Design: Building Reliable Complex Computer Systems
ISBN: 978-0-7803-3430-4
Hardcover
140 pages
August 1998, Wiley-IEEE Press
US $116.95
 Add to Cart
This price is valid for United States. Change location to view local pricing and availability. |
Instructors may request an evaluation copy for this title.
|
Series Introduction.
Preface.
Acknowledgments.
List of Figures.
Cubical Complexes and Two-Level Logic.
Logic on Many Levels.
Regular Design, Global Design.
IBM/3081 Verification.
Diagnosis of Dynamic AC Failures.
Hardware Verification of Programs.
Hardware Correction.
Automatically Repairing Computers.
Algorithm Design.
Equivalence of Hardware and Software.
Index.
About the Author.
Preface.
Acknowledgments.
List of Figures.
Cubical Complexes and Two-Level Logic.
Logic on Many Levels.
Regular Design, Global Design.
IBM/3081 Verification.
Diagnosis of Dynamic AC Failures.
Hardware Verification of Programs.
Hardware Correction.
Automatically Repairing Computers.
Algorithm Design.
Equivalence of Hardware and Software.
Index.
About the Author.
