
Mathematics of Program Construction (English, Claude Bolduc | Jules Desharnais | Bechir Ktari)
Inclusive of all applicable taxes. FREE shipping on all orders.
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 volumecontainsthe proceedingsof MPC2010, the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinciplesandtechniques that aredemonstrablypracticalande?ective in the processof constructingc- puter programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by for…
ISBN: 9783642133206
Book Specifications
| ISBN-13 | 9783642133206 |
| ISBN-10 | 3642133207 |
| Publisher | Springer |
| Category | Science & Mathematics |
Frequently Asked Questions
What is the price of Mathematics of Program Construction?
Does BookShops.in offer free delivery for Mathematics of Program Construction?
Is Cash on Delivery available for Mathematics of Program Construction?
What is the return policy for Mathematics of Program Construction?
Is Mathematics of Program Construction authentic?
Customers Also Bought

Mathematics
Stereotype Spaces and Algebras: 73 (De Gruyter Expositions in Mathematics, 73)

Mathematics
Semigroups in Algebra, Geometry and Analysis: 20 (De Gruyter Expositions in Mathematics, 20)

Mathematics
Geometry from the Pacific Rim: Proceedings of the Pacific Rim Geometry Conference held at National University of Singapore, Republic of Singapore, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
First International Tainan-Moscow Algebra Workshop: Proceedings of the International Conference held at National Cheng Kung University Tainan, Taiwan, ... 1994 (De Gruyter Proceedings in Mathematics)

Mathematics
Differential Geometry - Proceedings of the VIII International Colloquium (English, Jesus A. Alvarez Lopez | Eduardo Garcia-Rio)

Mathematics
Mathematical Theory of Optimal Processes (Classics of Soviet Mathematics)
Related Products
View All
Science & Mathematics
Elements of Pelagos Biology: With Focus on the Mediterranean Sea

Science & Mathematics
Squid - Superconducting Quantum Interference Devices and Their Applications: Proceedings of the International Conference on Superconducting Quantum Devices, Berlin-west, October 4-8, 1976

Science & Mathematics
Thermodynamics and Pattern Formation in Biology

Science & Mathematics
The Nature of Mathematics and the Mathematics of Nature by S. Andersson – Mathematics & Science

Science & Mathematics
Linear Algebra | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg | Arnold Insel | Lawrence Spence | Pearson | by Stephen Friedberg

Science & Mathematics
