for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to

Learn more

Software Verification and Analysis

An Integrated, Hands-On Approach

Software Verification and Analysis by Janusz Laski
Add to cart
US$ 89.95
(If any tax is payable it will be calculated and shown at checkout.)

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

Springer London; April 2009
228 pages; ISBN 9781848822405
Read online, or download in secure PDF format
Title: Software Verification and Analysis
Author: Janusz Laski; William Stanley
Buy, download and read Software Verification and Analysis (eBook) by Janusz Laski; William Stanley today!