Mohlo by sa vám tiež páčiť

Viac informácií o knihe Software Verification and Analysis

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 122 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Software Verification and Analysis
• Podnázov: An Integrated, Hands-On Approach
• Autor: Janusz Laski, William Stanley
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 234
• EAN: 9781849968294
• ISBN: 1849968292
• ID: 01434729
• Nakladateľ: Springer, Berlin
• Hmotnosť: 384 g
• Rozmery: 234 × 156 × 13 mm
• Rok vydania: 2010

Obľúbené z iného súdka

---

---

---