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

Our price: £49.29
List price: £57.99
You save: 15%

Usually ships in 2-4 working days.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

Janusz Laski
William Stanley
Software engineering
Computer programming
Computing and information technology
Springer London Ltd

More information from Wikipedia:

Janusz Laski
William Stanley
© 2006-2010 Eruditor Ltd and its partners

Search

Whole catalogue
First experiences

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |