Mohlo by se vám také líbit

Více informací o knize On the Refinement Calculus

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

Nákupem získáte 168 bodů

Anotace knihy

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: On the Refinement Calculus
• Autor: Carroll Morgan, Trevor Vickers
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 159
• EAN: 9783540199311
• ISBN: 3540199314
• ID: 05273677
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 280 g
• Rozměry: 235 × 155 × 15 mm
• Datum vydání: 13. December 1994

Oblíbené z jiného soudku

---

---

---