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
Unifying Theories of Programming
Best Price (Coupon Required):
Buy Unifying Theories of Programming for $31.50 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
|
|
$34.99 | $34.99 |
|
10% OFF
This deals requires coupon
|
$31.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Leadership after COVID-19
$89.99
NMR Basic Principles and Progress. Grundlagen und Fortschritte
$39.99
Linguistic Perspectives on Sexuality in Education
$139.00
Queer Burroughs
$24.99
Information Systems and Global Assemblages: (Re)configuring Actors, Artefacts, Organizations
$54.99
William Corder and the Red Barn Murder
$54.99
The British Role in Iranian Domestic Politics (1951-1953)
$49.99
Exploring the Early Digital
$44.99
Breaking Waves
$109.99
Bedeutung und Messung der Stabilitt von Seeschiffen
$54.99
Geometric Programming for Design and Cost Optimization
$99.99
Distance-Regular Graphs
$119.00
Reactions and Processes
$39.99
Truth in Fiction
$84.99
Angiotensin und Herz
$44.99
Languages, Methodologies and Development Tools for Multi-Agent Systems
$39.99
,,Mnner schlagen keine Frauen?! Und umgekehrt?
$39.99
June Grades 1-2 Printable Packet
$4.99
AsiaSim 2007
$39.99
Die Rcklagenpolitik der Unternehmung
$59.99
Archaeologies of Early Modern Spanish Colonialism
$159.99
Social Stress in Domestic Animals
$219.99
Cyber-Archaeology and Grand Narratives
$99.99
Praxis der Schwingungsmessung
$99.99
Insect Conservation and Urban Environments
$169.99
Modeling Information Diffusion in Online Social Networks with Partial Differential Equations
$69.99
Precision Medicine in Clinical Practice
$109.99
Critical Event Studies
$129.00
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
$84.99
Conceptual Issues in Ecology
$109.99
Properties of QCD Matter at High Baryon Density
$179.99
Computing Qualitatively Correct Approximations of Balance Laws
$109.99
Gravitational Lensing: Strong, Weak and Micro
$119.99
Security and Risk Analysis for Intelligent Edge Computing
$149.00
Rarefied Gas Flows Theory and Experiment
$54.99
Metaphysik
$59.99
Biological Coherence and Response to External Stimuli
$109.00
New Trends in Emission Control in the European Union
$109.99
Flow Shop Lot Streaming
$109.99
Software Diversity in Computerized Control Systems
$39.99
