Mohlo by se vám také líbit

Více informací o knize Symbolic Model Checking

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

Nákupem získáte 303 bodů

Anotace knihy

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

Parametry knihy

• Plný název: Symbolic Model Checking
• Autor: Kenneth L. McMillan
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 194
• EAN: 9780792393801
• ISBN: 0792393805
• ID: 42163944
• Nakladatelství: Kluwer Academic Publishers
• Hmotnost: 426 g
• Rozměry: 229 × 179 × 18 mm
• Datum vydání: 31. July 1993

---

---

---