Mohlo by se vám také líbit

Více informací o knize Formal Software Development

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

Nákupem získáte 235 bodů

Anotace knihy

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.

Parametry knihy

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

• Plný název: Formal Software Development
• Podnázev: From VDM to Java
• Autor: Quentin Charatan, Aaron Kans
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 256
• EAN: 9780333992814
• ISBN: 0333992814
• ID: 04601186
• Nakladatelství: Macmillan Education UK
• Hmotnost: 476 g
• Rozměry: 191 × 246 × 15 mm
• Datum vydání: 09. September 2003

Oblíbené z jiného soudku

---

---

---