Software Verification and Analysis: an Integrated, Hands-on Approach - Janusz Laski - Books - Springer London Ltd - 9781849968294 - October 13, 2010
In case cover and title do not match, the title is correct

Janusz Laski
Software Verification and Analysis: an Integrated, Hands-on Approach 1st Ed. Softcover of Orig. Ed. 2009 edition

Price
Íkr 6,719
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 9 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

234 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 13, 2010
ISBN13 9781849968294
Publishers Springer London Ltd
Pages 234
Dimensions 156 × 234 × 13 mm   ·   344 g
Language English  

Mere med samme udgiver

See all of Janusz Laski ( e.g. Hardcover Book and Paperback Book )