Kniha Software Verification and Analysis Janusz Laski

Software Verification and Analysis

An Integrated, Hands-On Approach

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
49.14
This book addresses the most important techniques in improving the correctness of software, includin...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
234
EAN
9781849968294
ISBN
1849968292
Enbook ID
01434729
Vydavateľ
Hmotnosť
384
Rozmery
156 x 234 x 13

Kompletný popis

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.

Mohlo by vás zaujímať

9.03
8.64
12.87
33.71

Voices of Color

Gail Bauman
38.92

Divine Order & Alien Passage

Arthur Carlo Padoan
10.71

Applied Philosophy

Brenda Almond
52.49

Literary Shrines

Theodore F. Wolfe
19.65
17.00
18.87
5.00

Red Planet

William John Locke
15.72
9.92

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

A cena con l'assassino

Alexandra Benedict
5.20
15.72
6.77

Berlin

Barbara Rusch
27.22

Tu entrenador personal

Fernando Orpinell
16.60

My Gold Mine

Hans Joachim Höh
13.85
29.38

CONTRA LA CARIDAD

DANIEL RAVENTOS
33.61