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

Provable and Practical Security

$69.99

Basic and Clinical Toxicology of Mustard Compounds

$84.99

KI 2006

$39.99

Hagers Handbuch der Pharmazeutischen Praxis

$84.99

God, the Bible, and Human Consciousness

$39.99

The New Middle Classes

$44.99

Iceberg Semantics for Mass Nouns and Count Nouns

$84.99

Populismus

$59.99

Unternehmensidentitt als Ressource

$59.99

No, David!: David Gets in Trouble

$4.49

AIDS and the Sexuality of Law

$54.99

Yearbook of International Sports Arbitration 2016

$199.99

Unartikulierte Krper

$44.99

Recent Trends in Construction Technology and Management

$169.99

Management-Intelligenz

$64.99

Interactive Systems: Design, Specification, and Verification

$54.99

Umweltbildung und Umweltbewutsein

$64.99

New Eastern European Immigrants in the United States

$99.99

Basic and Applied Mutagenesis

$109.99

Adenauer and the CDU

$54.99

Supercomputer 89

$59.99

Financial Markets and Corporate Reporting under Geopolitical Risks

$189.00

Vorlesungen ber Informatik

$44.99

Software Engineering 3

$84.99

Lady Gaga and the Sociology of Fame

$19.99

Ethnicisation and Domesticisation

$119.00

Supercomputers in Theoretical and Experimental Science

$39.99

Quick Flora Mallorca

$24.99

Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012

$259.00

Regional Culture and Social Change

$109.00

Chronischer Muskelschmerz

$79.99

Beginning Lua with World of Warcraft Add-ons

$89.99

Dementia Care

$109.99

Cuentos con sazn

$3.74

Michael Oakeshotts Cold War Liberalism

$54.99

Mathematics Education in a Neocolonial Country: The Case of Papua New Guinea

$139.99

The Global Crisis Makers

$54.99

Calculus for Computer Graphics

$64.99

Theory of Duality in Mathematical Programming

$54.99

Stories of Indigenous Success in Australian Sport

$109.99