About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Software Testing In
The Real World
£38.24
A toolbox for the implementation of the software testing process & how to improve it. The guide brings together key methods with practical implementation techniques, presenting a simple approach for those getting started, &, for those already practising, a guide to ongoing improvement. ...
Archived Product
image missing
Software Testing
Practice - Test
Management
£24.15
Addresses the major issues related to advanced test management. This book covers the syllabus required to pass the Certified Tester Examination
- Advanced Level as defined by the International Software Testing Qualifications Board (ISTQB). It is suitable for software developers, project managers, quality managers, & team leaders.
...
Archived Product

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.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9781848822399
Availability: In Stock
£49.29
application software Mathematics, Science, Technology & Medicine > Computer Science / EDP > Application Software
Description Reviews / Comments Add New

Product Description

Addresses important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis & dynamic, execution-based analysis (testing & debugging). This book discusses semantic program synthesis & analysis, static program analysis & dynamic program analysis.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu