Mohlo by se vám také líbit

Více informací o knize Z - An Introduction to Formal Methods 2e

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

Nákupem získáte 418 bodů

Anotace knihy

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

Parametry knihy

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

• Plný název: Z - An Introduction to Formal Methods 2e
• Autor: Antoni Diller
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 394
• EAN: 9780471939733
• ISBN: 0471939730
• ID: 04894683
• Nakladatelství: John Wiley & Sons Inc
• Hmotnost: 690 g
• Rozměry: 172 × 244 × 21 mm
• Datum vydání: 03. May 1994

Oblíbené z jiného soudku

---

---

---