Mohlo by se vám také líbit

Více informací o knize Software Verification and Analysis

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

Nákupem získáte 116 bodů

Anotace knihy

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

Parametry knihy

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

• Plný název: Software Verification and Analysis
• Podnázev: An Integrated, Hands-On Approach
• Autor: Janusz Laski, William Stanley
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 234
• EAN: 9781849968294
• ISBN: 1849968292
• ID: 01434729
• Nakladatelství: Springer, Berlin
• Hmotnost: 384 g
• Rozměry: 234 × 156 × 13 mm
• Rok vydání: 2010

Oblíbené z jiného soudku

---

---

---