Copied Mathematics of Program Construction
Mathematics of Program Construction
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Evolution of the Property Relation
$84.99
Hands-On Value-at-Risk and Expected Shortfall
$89.99
Lion, Lion
$5.21
Baby Animals Pack
$6.99
Advances in New Technology for Targeted Modification of Plant Genomes
$109.99
China and Latin America in Transition
$139.99
Dimensional Scaling in Chemical Physics
$219.99
Mathematics and Computer Science II
$109.99
Oracle on Docker
$49.99
Lattice-Ordered Groups
$84.99
Helioseismic Diagnostics of Solar Convection and Activity
$219.99
Therapeutic Applications of RNAi
$109.99
The Future of Global Relations
$54.99
Ukraine: From Chernobyl to Sovereignty
$39.99
Therapeutic Peptides
$119.00
Datenschutz als Vermgensrecht
$49.99
Demilitarisation of Munitions
$129.00
Digital Connectivity and Music Culture
$44.99
Lehrerausbildung und Abstimmungsprobleme des Lehrermarkts
$59.99
Imaging Religion in Film
$54.99
Social Informatics
$54.99
One-Dimensional Mesoporous Inorganic Nanomaterials
$139.00
Mechanosensitivity and Mechanotransduction
$169.00
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
$54.99
Mapping Intimacies
$54.99
Das ILO-Zwangsarbeitsverbot in der globalisierten Wirtschaft
$84.99
Frderung betrieblicher Innovationsprozesse
$49.99
Quantum Mechanics
$39.99
Die Bohr-Sommerfeldsche Atomtheorie
$29.99
Sea Floor Spreading and Continental Drift
$109.99
Uneasy Encounters
$54.99
The 6th International Symposium on Water Resource and Environmental Management
$149.00
Practical SharePoint 2010 Information Architecture
$44.99
Developments in Information & Knowledge Management for Business Applications
$249.99
Springer Lexikon Physiotherapie
$39.99
Cell Transplantation for Neurological Disorders
$169.99
Reflections on Human Inquiry
$39.99
James and the Giant Peach
$5.99
Hormone Assays in Biological Fluids
$169.99
Artificial Ventilation
$84.99
