Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Mathematics of Program Construction
Best Price (Coupon Required):
Buy Mathematics of Program Construction for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
Reviews
Questions & Answers
Assessment and Management of Environmental Risks
$169.99
Change Management in Nonprofit Organizations
$129.00
Oxidative Damage to Nucleic Acids
$169.99
Computational Neuroscience
$89.99
Light-Driven Alignment
$109.99
Landscape and Power in Geographical Space as a Social-Aesthetic Construct
$54.99
Global Higher Education During and Beyond COVID-19
$159.99
Politisches Krisenmanagement
$54.99
Introduction to Queueing Systems with Telecommunication Applications
$39.99
Proceedings of SAE-China Congress 2016: Selected Papers
$219.99
Lattice-Valued Logic
$169.99
Geographical Indications and International Agricultural Trade
$109.99
Image and Video Retrieval
$54.99
Inequality, Poverty, Education
$54.99
Geschlechterforschung und Naturwissenschaften
$79.99
Equadiff 82
$44.99
kolabel zwischen Greenwashing und Entscheidungshilfe
$59.99
Apoptosis Methods in Pharmacology and Toxicology
$84.99
Transportvorgnge in der Verfahrenstechnik
$69.99
Synchronization Control of Markovian Complex Neural Networks with Time-varying Delays
$99.00
Cultural Interactions of English-Medium Instruction at Vietnamese Universities
$139.99
Die Abwrmeverwertung im Kraftmaschinenbetrieb
$69.99
Sports Injuries
$219.00
Weininvestment
$69.99
Soziale Konstellation und historische Perspektive
$99.99
Neocharismatic Leadership
$54.99
Geography Meets Gendlin
$59.99
Britain and the Netherlands
$39.99
Historical Archaeologies of Capitalism
$39.99
Internet of Things
$44.99
The Drift of Sea Ice
$119.00
Deep Learning Classifiers with Memristive Networks
$149.00
Pan dulce
$5.21
Buchhaltung und Bilanz
$74.99
Clinical Image-Based Procedures
$54.99
Technology Advances and Innovation in Wine Tourism
$179.99
Agent-Based Modeling Meets Gaming Simulation
$84.99
Strategisches Investitionscontrolling in internationalen Konzernen
$69.99
Wien fr Mediziner
$34.99
Die Macht der Judikative
$49.99
