Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Mathematics of Program Construction

Mathematics of Program Construction

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319197968
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

On Privacy-Preserving Protocols for Smart Metering Systems

$39.99

The Effective Tax Burden on Highly Qualified Employees

$39.99

Zur Qualitt von Inbound Centers im Marketing

$49.99

Nonsmooth Equations in Optimization

$129.00

Excitatory Amino Acids and Second Messenger Systems

$84.99

Trust Management XIII

$39.99

Keimung und Jugendentwicklung von Samenpflanzen unter Mineralwassereinflu

$54.99

Psychobattery

$49.99

Community Planning to Foster Resilience in Children

$109.99

25 Complex Text Passages to Meet the Common Core: Literature and Informational Texts: Grades 7-8

$11.24

Weekly Reader: Summer Express (Between Grades K & 1) Workbook

$9.74

Recent Advances in Robot Learning

$129.00

High Mountain Conservation in a Changing World

$59.99

Broadcasting in the European Union:The Role of Public Interest in Competition Analysis

$54.99

Media, Diaspora and Conflict

$69.99

Attractors, Bifurcations, & Chaos

$169.99

Modellierung der Nachhaltigkeitslcke

$59.99

Decolonized Approaches to Human Rights and Social Work

$109.99

Flash Points of Organic and Organometallic Compounds

$39.99

Ethics, Medical Research, and Medicine

$109.99

Ready-To-Go 2 75 Book Classroom Library, Grade K

$319.00

Interdisciplinary Concepts in Cardiovascular Health

$169.99

tipos malos en ustedes-creen-que-l-saurio?! (The Bad Guys in Do-You-Think-He-Saurus?!)

$5.24

Das Leuchten der Gase und Dmpfe

$49.99

Protection Against Ischemia/Reperfusion Damage of the Heart

$54.99

Die Atmosphre der Erde

$39.99

The Spirit of Selflessness in Maoist China

$54.99

Peripheral Nerve Issues after Orthopedic Surgery

$179.99

Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems

$169.99

CAPD/CCPD in Children

$219.99

Schools for Health and Sustainability

$109.99

Advances in Intelligent Networking and Collaborative Systems

$379.99

The Art of C Programming

$99.99

Revisiting Migrant Networks

$49.99

An Application Science for Multi-Agent Systems

$39.99

Gender Confirmation Surgery

$139.99

Politicians, Legislation, and the Economy

$84.99

Astronomie und Geophysik

$74.99

2018 MATRIX Annals

$129.99

Identity in Northern Ireland

$109.99