Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • An Integrated, Hands-On Approach
    Janusz Laski; William Stanley
    978-1-84882-240-5
    2009
    Edition 1
    • Emphasis is given to the integration of the most important aspects of software verification – program proving, static analysis and testing in one book
    • Provides tool support for each of the verification techniques
    • Offers readers the ability to test his own static analysis ideas using STAD 4.0
    • Presents novel and not generally know data testing techniques supported by the testing tool
    • Focuses on the practical applications

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.