Mohlo by se vám také líbit

Více informací o knize Program Construction - Calculating Implementations from Specifications

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

Nákupem získáte 155 bodů

Anotace knihy

* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a programmer* This comprehensive guide is a balanced combination of mathematical theory and the practice of programming* Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions* Includes a wide range of entertaining and challenging examples and exercises

Parametry knihy

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

• Plný název: Program Construction - Calculating Implementations from Specifications
• Autor: Roland C. Backhouse
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 354
• EAN: 9780470848821
• ISBN: 0470848820
• ID: 04886165
• Nakladatelství: John Wiley & Sons Inc
• Hmotnost: 640 g
• Rozměry: 235 × 195 × 20 mm
• Datum vydání: 27. March 2003

Oblíbené z jiného soudku

---

---

---