Advanced Lectures on Software Engineering

Name: Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
Brand: Springer
SKU: 9783642130090
Price: 5483.00 INR
Availability: InStock

LASER Summer School 2007/2008

by Peter Müller

Springer

₹5,483

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification.

Description supplied by the publisher.