Könyv Software Verification and Analysis Janusz Laski

Software Verification and Analysis

An Integrated, Hands-On Approach

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672 Ft
This book addresses the most important techniques in improving the correctness of software, includin...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2009
oldal
234
EAN
9781848822399
ISBN
1848822391
Enbook ID
01434146
Súly
510
Méretek
164 x 242 x 21

Teljes leírás

This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).§Three major software verification techniques are discussed: Semantic program synthesis and analysis, static program analysis and dynamic program analysis. The correctness by construction paradigm is illustrated using the VDM-SL and the corresponding CSK Toolbox. The discussion involves the synthesis of direct and/or indirect specification, interpreting the latter and carrying out high-level testing of the specification.§Problems are included in the text and one or more difficult exercises appear at the end of each chapter. Also, where appropriate, STAD s handling of the concepts is illustrated.§Written for advanced students and professionals wishing to explore more than one technique, this comprehensive text will be invaluable with its unique integrated approach.

Érdekelheti

3 439 Ft

Equality

Darrin McMahon
13 535 Ft
10 038 Ft
12 441 Ft
18 538 Ft
124 781 Ft
57 466 Ft
18 395 Ft

Threshold 1990

Jan Ate van Ek
20 856 Ft
4 151 Ft

Real Numbers

John Stillwell
15 153 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

PIC, PIC, PIC Le Tigre

Manceau Edouard
3 371 Ft
6 353 Ft
5 730 Ft

Pierre et Jean

Guy de Maupassant
6 752 Ft
3 923 Ft