-58% OFFSpringer
Verified Software (English, Bertrand Meyer | Jim Woodcock)
₹4,880₹11,543Save 58%
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "A program verifier. " What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the developme…
ISBN: 9783540691471
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540691471 |
| ISBN-10 | 3540691472 |
| Author | Bertrand Meyer | Jim Woodcock |
