On a Method of Multiprogramming (Monographs in Computer Science) - Tapa dura

Gasteren, A.J.M. Van; Feijen, Wim

 
9780387988702: On a Method of Multiprogramming (Monographs in Computer Science)
Tapa dura
ISBN 10: 038798870X ISBN 13: 9780387988702
Editorial: Springer, 1999

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

Editorial
Springer
Año de publicación
1999
Idioma
Inglés
ISBN 10 
038798870X
ISBN 13 
9780387988702
Encuadernación
Tapa dura
Número de páginas
396
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9781441931795: On a Method of Multiprogramming (Monographs in Computer Science)

Edición Destacada

ISBN 10:  1441931791 ISBN 13:  9781441931795
Editorial: Springer, 2010
Tapa blanda