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 186
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

196
209
772

Voices of Color

Gail Bauman
797

Divine Order & Alien Passage

Arthur Carlo Padoan
260

Applied Philosophy

Brenda Almond
1 269

Literary Shrines

Theodore F. Wolfe
474
410
455
121

Red Planet

William John Locke
379
256

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

A cena con l'assassino

Alexandra Benedict
108
378

Berlin

Barbara Rusch
657

Tu entrenador personal

Fernando Orpinell
401

My Gold Mine

Hans Joachim Höh
334
708

CONTRA LA CARIDAD

DANIEL RAVENTOS
766