Kniha Software Verification and Analysis Janusz Laski

Software Verification and Analysis

An Integrated, Hands-On Approach

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 120
This book addresses the most important techniques in improving the correctness of software, includin...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
234
EAN
9781849968294
ISBN
1849968292
Enbook ID
01434729
Vydavatel
Hmotnost
384
Rozměry
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 zajímat

248
410

Literary Shrines

Theodore F. Wolfe
474

Applied Philosophy

Brenda Almond
1 269

Divine Order & Alien Passage

Arthur Carlo Padoan
260

Voices of Color

Gail Bauman
760
209

31 Months in Japan

Lorna Collins
331
1 431
121

Basher Five-Two

Scott O'Grady
144
205

Deadfall

Anna Carey
324

Zákaznicí kteří koupili tuto knihu koupili také

423

Berlin

Barbara Rusch
618

My Gold Mine

Hans Joachim Höh
316
779

Tu entrenador personal

Fernando Orpinell
444

CONTRA LA CARIDAD

DANIEL RAVENTOS
766