Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka On a Method of Multiprogramming W. H. J. Feijen

On a Method of Multiprogramming

Autor: W. H. J. Feijen, Antonetta J. M. van Gasteren
Język: Angielski
Oprawa: Miękka
Wydawca: Springer-Verlag New York Inc.
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
641.42 zł
Here, the authors propose a method for the formal development of parallel programs - or multiprogram...

Informacje o książce

Autor
W. H. J. Feijen, Antonetta J. M. van Gasteren
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
strony
370
EAN
9781441931795
ISBN
1441931791
Enbook ID
01421847
Wydawca
Springer-Verlag New York Inc.
Waga
1210
Wymiary
155 x 235 x 22

Pełny 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.

Możesz być zainteresowany

The Complete Maus

Art Spiegelman
111.78 zł

Primes and Programming

Peter J. Giblin
247.19 zł

Blue Smoke and Murder

Elizabeth Lowell
84.33 zł

Ezra and Nehemiah

Andrew Steinmann
325.62 zł

The Power of Sales Analytics

Sally E. Lorimer
117.78 zł

Playing the Church Organ - Book 4

Noel Jones
140.52 zł

Niccolo Machiavelli - The Art of War: The Complete Books: The Original Text with English Translation

Niccolo Machiavelli
54.31 zł

Understanding Teenagers in the ELT Classroom

Chris Roland
224.66 zł

Neurocritical Care

Kosaku Kinoshita
499.71 zł

Klienci, którzy kupili tę książkę, kupili również

Buscando Fotografias

Vicente Garcia
122.31 zł

Multifunctional Coordination Materials for Green Energy Technologies

Ghulam Yasin
976.70 zł

Puzzle 1000 CherryPazzi Mountain Dreams 30837

33.35 zł