Mathematics of Program Construction (English, Dexter Kozen | Carron Shankland)
by Dexter Kozen | Carron Shankland
Delivery options
Mathematics of Program Construction by Dexter Kozen | Carron Shankland is listed under Science & Mathematics on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540223801
ISBN-10
3540223800
Author
Dexter Kozen | Carron Shankland
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
ISBN-13: 9783540223801
ISBN-10: 3540223800
Reader's Guide
What This Book Covers
- ·The main subject matter of Mathematics of Program Construction
- ·Ideas and detail relevant to Science & Mathematics
- ·Context that helps make sense of the material as a whole
Best Suited For
Maths students and anyone who enjoys rigorous problem-solving.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Mathematics of Program Construction?
Mathematics of Program Construction starts from ₹5722 at BookBajar. Available in Paperback.
Who is the author of Mathematics of Program Construction?
Dexter Kozen | Carron Shankland is the author of Mathematics of Program Construction. Browse more books by Dexter Kozen | Carron Shankland on BookBajar.
Is Mathematics of Program Construction available in Paperback and Hardcover?
Yes, Mathematics of Program Construction is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Mathematics of Program Construction?
Yes, BookBajar offers free delivery for Mathematics of Program Construction across India. No minimum order value required.
Is Cash on Delivery available for Mathematics of Program Construction?
Yes, Cash on Delivery (COD) is available for Mathematics of Program Construction on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Mathematics of Program Construction?
Mathematics of Program Construction can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Mathematics of Program Construction?
Mathematics of Program Construction has ISBN 9783540223801 (ISBN-10: 3540223800). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Mathematics of Program Construction?
About the Book This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction.
Product ID: isbn-9783540223801
🛒 Customers Also Bought
Local Algebra (English, Jean-Pierre Serre | C. W. Chin)
₹5,716
A Course In The Calculus Of Variations (English, Santambrogio | Filippo)
₹3,789
Geometry, Morphology, and Computational Imaging (English, Tetsuo Asano | Reinhard Klette | Christian Ronse)
₹5,602
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Characterizations of Probability Distributions. (English, Janos Galambos | Samuel Kotz)
₹2,512
The Molecular Genetics of Lung Cancer (English, David N. Cooper)
₹5,305Related Products
Quantum Thermodynamics (English, Jochen Gemmer | M. Michel | Günter Mahler)
₹4,357
Cosmic Ray Astrophysics (English, Reinhard Schlickeiser)
₹4,271
Applications of Wet-End Paper Chemistry (English, Ian Thorn | Che On Au)
₹4,859
Relativistic Astrophysics and Cosmology (English, Peter Hoyng)
₹5,663
Perceiving Geometry (English, Catherine Q. Howe | Dale Purves)
₹1,115