Mohlo by se vám také líbit

Více informací o knize On a Method of Multiprogramming

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 509 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: On a Method of Multiprogramming
• Autor: W. H. J. Feijen, Antonetta J. M. van Gasteren
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 370
• EAN: 9781441931795
• ISBN: 1441931791
• ID: 01421847
• Nakladatelství: Springer-Verlag New York Inc.
• Hmotnost: 1210 g
• Rozměry: 235 × 155 × 22 mm
• Datum vydání: 01. December 2010

---

---

---