Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
On a method of multiprogramming, Wim H. J. Feijen
- Jazyk
- Rok vydání
- 1999
- Vazba
- (pevná)
Jakmile se objeví, pošleme e-mail.
Nikdo zatím neohodnotil.
- Titul
- On a method of multiprogramming
- Jazyk
- anglicky
- Autoři
- Wim H. J. Feijen
- Vydavatel
- Springer
- Rok vydání
- 1999
- Vazba
- pevná
- Počet stran
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Série
- Kategorie
- Štítky
- USA, Vývoj, Operační systémy, Algoritmy, Sémantika
- Anotace
- 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.