This specific ISBN edition is currently not available.View all copies of this ISBN edition:
Detailing techniques for making machines run faster while keeping their architecture simple, this book defines the rules which multiprocessors are assumed to obey, and develops reasoning techniques and a set of procedures for establishing the logical correctness of real machines.
"synopsis" may belong to another edition of this title.
This product is not a traditionally bound book. Many ProQuest UMI products are black-and-white reproductions of original publications produced through the Books On Demand ® program. Alternately, this product may be a photocopy of a dissertation or it may be a collection reproduced on microfiche or microfilm if it is intended for library purchase.
"About this title" may belong to another edition of this title.
Book Description Prentice Hall, 1992. Hardcover. Condition: New. Never used!. Seller Inventory # P110137671873
Book Description Prentice Hall, 1992. Hardcover. Condition: New. Seller Inventory # DADAX0137671873