Mohlo by se vám také líbit

Více informací o knize Formal Specification

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

Nákupem získáte 116 bodů

Anotace knihy

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Formal Specification
• Podnázev: Techniques and Applications
• Autor: Nimal Nissanke
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 295
• EAN: 9781852330026
• ISBN: 1852330023
• ID: 06798524
• Nakladatelství: Springer, Berlin
• Hmotnost: 488 g
• Rozměry: 234 × 156 × 16 mm
• Datum vydání: 27. July 1999

Oblíbené z jiného soudku

---

---

---