Programming
Advanced Lectures on Software Engineering (English, Peter Müller)
₹5,483
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
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. Software verification has seen tremendous prog…
ISBN: 9783642130090
Book Specifications
| ISBN-13 | 9783642130090 |
| ISBN-10 | 3642130097 |
| Publisher | Springer |
| Category | Programming |
Frequently Asked Questions
What is the price of Advanced Lectures on Software Engineering?
Advanced Lectures on Software Engineering is available at ₹5,483 on BookShops.in.
Does BookShops.in offer free delivery for Advanced Lectures on Software Engineering?
FREE delivery on all orders for Advanced Lectures on Software Engineering.
Is Cash on Delivery available for Advanced Lectures on Software Engineering?
Yes, Cash on Delivery (COD) is available for Advanced Lectures on Software Engineering on BookShops.in. Pay when your order arrives.
What is the return policy for Advanced Lectures on Software Engineering?
BookShops.in offers a 15-day hassle-free return policy for Advanced Lectures on Software Engineering. Contact us at support@bookshops.in or call +91 95575 56855.
Is Advanced Lectures on Software Engineering authentic?
Advanced Lectures on Software Engineering is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468
Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807
Programming
C++ Primer | by Stanley B. Lippman | Addison-Wesley | English | 5th Edition
₹4,196
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Related Products
View AllProgramming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
Programming
A Practical Handbook for Software Development | by N. D. Birrell | Martyn A. Ould | M. A. Ould | Cambridge University Press | English | Reprint Edition
₹4,623
Programming
Starting Out With Java: From Control Structures Through Data Structures | by Tony Gaddis | Godfrey Muganda | Pearson College Div | English | 4th Edition
₹5,468
Programming
Statistics Using Python | by Oswald Campesato | Mercury Learning & Information | English
₹3,807
Programming
C++ Primer | by Stanley B. Lippman | Addison-Wesley | English | 5th Edition
₹4,196