Springer
Mathematics of Program Construction (English, Dexter Kozen | Carron Shankland)
₹5,722
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
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams, whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by forma…
ISBN: 9783540223801
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540223801 |
| ISBN-10 | 3540223800 |
| Author | Dexter Kozen | Carron Shankland |
