Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

On a Method of Multiprogramming

Name: On a Method of Multiprogramming
Brand: Springer-Verlag New York Inc.
SKU: 01421847
Price: 137.41 EUR
Availability: InStock
Author: W. H. J. Feijen
ISBN: 9781441931795

W. H. J. Feijen

Antonetta J. M. van Gasteren

Língua

Inglês

Livro Capa mole

Código Libristo: 01421847

Editoras Springer-Verlag New York Inc., dezembro 2010

Here, the authors propose a method for the formal development of parallel programs - or multiprogram... Descrição completa

Código Libristo: 01421847

333 b

137.41 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Puzzle 1000 CherryPazzi Mountain Dreams 30837

Puzzle

7.06 €

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.