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

Unifying Theories of Programming

Unifying Theories of Programming

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

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.

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

Single Product Purchase

$34.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
$34.99 $34.99

$34.99
See Site In stock Visit Store

Similar Products

I Will Always Write Back

$7.46

Re-Thinking Time at the Interface of Physics and Philosophy

$109.99

Laser Refractography

$84.99

Young Women of Prague

$39.99

Case Studies in Bayesian Statistics

$109.99

Austerity Politics and UK Economic Policy

$54.99

Psychosomatik und positive Psychotherapie

$84.99

Macroeconomic Policy and Economic Interdependence

$169.99

Familien auslndischer Herkunft in Deutschland

$49.99

Computer Safety, Reliability, and Security

$54.99

Dismantling the Memory Machine

$39.99

Die Servicefunktionen des Grohandels als Erfolgsfaktoren

$69.99

Web Information Systems Engineering WISE 2017

$39.99

Handbook of Gas Sensor Materials

$169.99

Interne Kommunikation im Wandel

$54.99

Data Science and Emerging Technologies

$189.00

Water, Energy, Food and People Across the Global South

$169.99

Radicalizing Literacies and Languaging

$119.99

EKC2010

$169.00

Proceedings of the Third European Conference on Computer-Supported Cooperative Work 1317 September

$169.00

Mnner - die ewigen Gewalttter?

$29.99

Random Perturbations of Dynamical Systems

$74.99

New Classes of Lp-Spaces

$29.99

Entwicklung von Arbeitsorganisationen

$19.99

Democracy and Civil Society in Asia: Volume 1

$54.99

Applied Ethics for Entrepreneurial Success: Recommendations for the Developing World

$84.99

Beginning C# 5.0 Databases

$69.99

Childhood Leukemia

$129.00

Nollywood in Glocal Perspective

$89.00

Red Tides

$219.99

Physik und Chemie der Grenzflchen

$44.99

Pro Power BI Architecture

$49.99

Raman Spectroscopy For Catalysis

$169.99

Advances in Web-Age Information Management

$39.99

Wrterbuch der Fertigungstechnik. Dictionary of Production Engineering. Dictionnaire des Techniques

$239.00

Spina Bifida

$129.00

The U.S. Payment System: Efficiency, Risk and the Role of the Federal Reserve

$84.99

Das Vieweg Einheiten-Lexikon

$29.99

Adenocarcinoma of the Prostate

$54.99

Explicit Formulas

$29.99