Programming
Software Engineering and Formal Methods (English, Gilles Barthe | Alberto Pardo | Gerardo Schneider)
₹5,652
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
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted…
ISBN: 9783642246890
Book Specifications
| ISBN-13 | 9783642246890 |
| ISBN-10 | 3642246893 |
| Publisher | Springer |
| Category | Programming |
Frequently Asked Questions
What is the price of Software Engineering and Formal Methods?
Software Engineering and Formal Methods is available at ₹5,652 on BookShops.in.
Does BookShops.in offer free delivery for Software Engineering and Formal Methods?
FREE delivery on all orders for Software Engineering and Formal Methods.
Is Cash on Delivery available for Software Engineering and Formal Methods?
Yes, Cash on Delivery (COD) is available for Software Engineering and Formal Methods on BookShops.in. Pay when your order arrives.
What is the return policy for Software Engineering and Formal Methods?
BookShops.in offers a 15-day hassle-free return policy for Software Engineering and Formal Methods. Contact us at support@bookshops.in or call +91 95575 56855.
Is Software Engineering and Formal Methods authentic?
Software Engineering and Formal Methods is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Java Programming for Spatial Sciences | by Jo Wood | CRC Pr I Llc | English | 1st Edition
₹4,940
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
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
Data Structures and Algorithm Analysis in Java: Data Struc Algor Analy Java_3 | by Mark Weiss | Pearson College Div | English | 3rd Edition
₹4,570
Related Products
View AllProgramming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Java Programming for Spatial Sciences | by Jo Wood | CRC Pr I Llc | English | 1st Edition
₹4,940
Programming
Foundations of Parallel Programming: 6 | by D. B. Skillicorn | David Skillicorn | W. F. McColl | Cambridge University Press | English
₹4,647
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
Data Structures and Algorithm Analysis in Java: Data Struc Algor Analy Java_3 | by Mark Weiss | Pearson College Div | English | 3rd Edition
₹4,570