Het boek is momenteel niet op voorraad
Parameters
- 370bladzijden
- 13 uur lezen
Meer over het boek
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.
Een boek kopen
On a method of multiprogramming, Wim H. J. Feijen
- Taal
- Jaar van publicatie
- 1999
- Bindwijze
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- On a method of multiprogramming
- Taal
- Engels
- Auteurs
- Wim H. J. Feijen
- Uitgever
- Springer
- Jaar van publicatie
- 1999
- Formaat
- Hardcover
- Aantal pagina's
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Reeks
- Aantekening
- 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.