Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha On a Method of Multiprogramming W. H. J. Feijen

On a Method of Multiprogramming

Autor: W. H. J. Feijen, Antonetta J. M. van Gasteren
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer-Verlag New York Inc.
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
3 426 Kč
Here, the authors propose a method for the formal development of parallel programs - or multiprogram...

Informace o knize

Autor
W. H. J. Feijen, Antonetta J. M. van Gasteren
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
370
EAN
9781441931795
ISBN
1441931791
Enbook ID
01421847
Vydavatel
Springer-Verlag New York Inc.
Hmotnost
1210
Rozměry
155 x 235 x 22

Kompletní popis

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.

Mohlo by vás zajímat

The Complete Maus

Art Spiegelman
587 Kč

Primes and Programming

Peter J. Giblin
1 330 Kč

Blue Smoke and Murder

Elizabeth Lowell
450 Kč

Ezra and Nehemiah

Andrew Steinmann
1 756 Kč

The Power of Sales Analytics

Sally E. Lorimer
631 Kč

Playing the Church Organ - Book 4

Noel Jones
754 Kč

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

Niccolo Machiavelli
275 Kč

Understanding Teenagers in the ELT Classroom

Chris Roland
1 269 Kč

Neurocritical Care

Kosaku Kinoshita
2 856 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Buscando Fotografias

Vicente Garcia
659 Kč

Multifunctional Coordination Materials for Green Energy Technologies

Ghulam Yasin
5 272 Kč

Puzzle 1000 CherryPazzi Mountain Dreams 30837

210 Kč