Librería:
Goodwill Books, Hillsboro, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Honoris Librarius
Miembro de AbeBooks desde 1996
Signs of wear and consistent use. N° de ref. del artículo 3IITB9000EK8_ns
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.
Reseña del editor: 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.
Título: Reasoning About Parallel Architectures
Editorial: Prentice Hall
Año de publicación: 1992
Encuadernación: Encuadernación de tapa dura
Condición: Good