Obecnie nie mamy tej książki w magazynie
Więcej o książce
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.
Zakup książki
On a method of multiprogramming, Wim H. J. Feijen
- Język
- Rok wydania
- 1999
- Oprawa
- (twarda)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- On a method of multiprogramming
- Język
- angielski
- Autorzy
- Wim H. J. Feijen
- Wydawca
- Springer
- Rok wydania
- 1999
- Oprawa
- twarda
- Liczba stron
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Seria
- Kategorie
- Tagi
- USA, Rozwój, Systemy operacyjne, Algorytmy, Semantyka
- Opis
- 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.