Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
On a method of multiprogramming, Wim H. J. Feijen
- Sprache
- Erscheinungsdatum
- 1999
- Einband
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Keiner hat bisher bewertet.
- Titel
- On a method of multiprogramming
- Sprache
- Englisch
- Autor*innen
- Wim H. J. Feijen
- Verlag
- Springer
- Erscheinungsdatum
- 1999
- Einband
- Hardcover
- Seitenzahl
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Reihe
- Schlagwörter
- USA, Entwicklung, Betriebssysteme, Algorithmen, Semantik
- Beschreibung
- 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.