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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Ethan Daniel Books, Toronto, ON, Canada
Hardcover. Etat : Fine. A fine unmarked copy with no signs of previous use. Not ex-library. Not a remainder. 234 pages. s139. N° de réf. du vendeur EDB05283
Quantité disponible : 1 disponible(s)
Vendeur : NovelTease, Beacon, NY, Etats-Unis
Hardcover. Etat : Very Good. N° de réf. du vendeur ABE-1776375752349
Quantité disponible : 1 disponible(s)