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 book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Knigswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Reviews
Questions & Answers
Proceedings of International Conference on Network Security and Blockchain Technology
$249.99
Dramen des Weiblichen
$54.99
Max Weber und Friedrich Albert Lange
$59.99
Zielgruppenspezifische Interventionen zur Energiereduktion
$64.99
Klartextverarbeitung
$59.99
Entertainment Computing - ICEC 2008
$39.99
Local Government Financial Reform in Developing Countries
$109.99
Anatomy of the Eyelid, Orbit, and Lacrimal System
$99.00
Systems Genetics
$199.99
The Discourse of Politics in Action
$109.99
Test Procedures for the Blood Compatibility of Biomaterials
$219.99
Trust Management XIII
$39.99
Health Technology Assessment in Japan
$79.99
Hormonelle Therapie fr die Frau
$69.99
Proceedings of The 20th Pacific Basin Nuclear Conference
$169.00
Politische Techniksteuerung
$59.99
Adaptive Hierarchical Isogeometric Finite Element Methods
$54.99
Quaternary Capped In(Ga)As/GaAs Quantum Dot Infrared Photodetectors
$109.99
ASA S3/SC1.4 TR-2014 Sound Exposure Guidelines for Fishes and Sea Turtles: A Technical Report prepar
$54.99
Objektive Mglichkeit
$39.99
Let's Play, Crabby!: An Acorn Book (A Crabby Book #2)
$4.49
Calixarenes in the Nanoworld
$129.00
Tabletop Role-Playing Games and the Experience of Imagined Worlds
$99.99
Physiological Aspects of Legged Terrestrial Locomotion
$169.99
Between Globalization and Integration
$39.99
Environmental and Health Regulation in the United States and the European Union
$84.99
Planimetrie
$74.99
The Politics of Chinese Media
$169.99
Cooperative Stochastic Differential Games
$109.99
Environmental Geochemistry and Health
$109.99
International Trade Policies and Climate Change Governance
$54.99
Region und unitarische Struktur in Grobritannien / Regionalism and Unitary Structure in Great Brita
$74.99
Pathologie des Auges II
$89.99
Manual of Lower Gastrointestinal Surgery
$74.99
Literature 1973, Part 1
$39.99
ICT for Intelligent Systems
$229.00
Applications of Remote Sensing to Agrometeorology
$219.99
Lectin in Host Defense Against Microbial Infections
$159.99
Principles of Elemental Chemostratigraphy
$129.00
Introduction to Crystallography
$39.99
