10% OFF

Software Verification And Analysis eBook

An Integrated, Hands-On Approach

by William Stanley e Janusz Laski
language: english
Publisher: SPRINGER LONDON, April of 2009 ‧
59,61€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Software Verification And Analysis

An Integrated, Hands-On Approach

by William Stanley e Janusz Laski

Property Description
ISBN: 9781848822405
Publisher: SPRINGER LONDON
Release Date: April of 2009
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Categories: eBooks in English > Computing > Schedule
EAN: 9781848822405