Laski Janusz, Stanley William:
Software Verification And Analysis
Springer London Ltd (United Kingdom), 2009
Hardback, 244 pages
Size: 235x155 mm
ISBN: 9781848822399
ISBN-10: 1848822391
List price: £57.99
You save: 15%
Software Verification And Analysis
Addresses 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). This book discusses semantic program synthesis and analysis, static program analysis and dynamic program analysis.

