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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Ethan Daniel Books, Toronto, ON, Kanada
Hardcover. Zustand: Fine. A fine unmarked copy with no signs of previous use. Not ex-library. Not a remainder. 234 pages. s139. Artikel-Nr. EDB05283
Anzahl: 1 verfügbar