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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 65,01 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Zoom Books East, Glendale Heights, IL, Estados Unidos de America
Condición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Nº de ref. del artículo: ZEV.0137671873.VG
Cantidad disponible: 1 disponibles