Kniha momentálne nie je na sklade
Viac o knihe
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 vydania
- 1999
- Väzba
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Nikto zatiaľ neohodnotil.
- Titul
- On a method of multiprogramming
- Jazyk
- anglicky
- Autori
- Wim H. J. Feijen
- Vydavateľ
- Springer
- Rok vydania
- 1999
- Väzba
- pevná
- Počet strán
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Série
- Kategórie
- Štítky
- USA, Vývoj, Operačné systémy, Algoritmy, Sémantika
- Anotácia
- 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.