Springer
Integrated Formal Methods (English, Eerke Boiten | John Derrick | Graeme Smith)
₹5,653
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
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-re…
ISBN: 9783540213772
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540213772 |
| ISBN-10 | 3540213775 |
| Author | Eerke Boiten | John Derrick | Graeme Smith |
