Bookbot
Il libro è attualmente esaurito

On a method of multiprogramming

Parametri

  • 370pagine
  • 13 ore di lettura

Maggiori informazioni sul libro

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.

Acquisto del libro

On a method of multiprogramming, Wim H. J. Feijen

Lingua
Pubblicato
1999
Rilegatura
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Titolo
On a method of multiprogramming
Lingua
Inglese
Editore
Springer
Pubblicato
1999
Formato
Copertina rigida
Pagine
370
ISBN10
038798870X
ISBN13
9780387988702
Serie
Categoria
SaggisticaTecnologia & IngegneriaComputer & Internet
SaggisticaArte / CulturaDesign
Tag
USA, Sviluppo, Sistemi operativi, Algoritmi, Semantica
Descrizione
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.