On a Method of Multiprogramming (Monographs in Computer Science)

Feijen, W.H.J., Gasteren, A.J.M. van

ISBN 10: 038798870X ISBN 13: 9780387988702

Editorial: Springer, 1999

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por dsmbooks, Liverpool, Reino Unido

Vendedor de AbeBooks desde 28 de septiembre de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Como Nuevo

Precio: EUR 205,51 Convertir moneda

EUR 31,17 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo D7F7-3-M-038798870X-6

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: On a Method of Multiprogramming (Monographs in Computer Science)
Editor: Springer
Fecha de publicaci�n: 1999
Idioma: Ingl�s
ISBN 10: 038798870X
ISBN 13: 9780387988702
Encuadernaci�n: Hardcover
Estado: Like New
Tipo de libro: book

Acerca de

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.

Descripci�n de la librer�a

collection of few very good books

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

dsmbooks
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

we ship all orders with in the specified shipping date.

Condiciones de env�o

We use international air service to deliver products.

M�todos de pago

A�adir una petici�n