On A Method Of Multiprogramming
0
ISBN 10: 038798870X ISBN 13: 9780387988702
Editorial: Springer, 1999
Nuevos
Encuadernación de tapa dura
Librería:
Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 24 de junio de 2016
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de ref. del artículo ABEOCT25-87237
Sinopsis:
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Reseña del editor: Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: On A Method Of Multiprogramming
Editorial: Springer
Año de publicación: 1999
Encuadernación: Encuadernación de tapa dura
Condición: Brand New