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

Viac informácií o knihe Program Construction - Calculating Implementations from Specifications

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

Nákupom získate 309 bodov

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

Parametre knihy

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

• Celý názov: Program Construction - Calculating Implementations from Specifications
• Autor: Roland C. Backhouse
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 354
• EAN: 9780470848821
• ISBN: 0470848820
• ID: 04886165
• Nakladateľ: John Wiley & Sons Inc
• Hmotnosť: 640 g
• Rozmery: 235 × 195 × 20 mm
• Dátum vydania: 27. March 2003

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

---

---

---