Mohlo by sa vám tiež páčiť

Viac informácií o knihe On a Method of Multiprogramming

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 373 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: On a Method of Multiprogramming
• Autor: W. H. J. Feijen, Antonetta J. M. van Gasteren
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 370
• EAN: 9781441931795
• ISBN: 1441931791
• ID: 01421847
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 1210 g
• Rozmery: 235 × 155 × 22 mm
• Dátum vydania: 01. December 2010

Obľúbené z iného súdka

---

---

---