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
Estrogens, Progestins, and Their Antagonists
$84.99
Der agile Einkauf
$49.99
Space, Time, and Archaeological Landscapes
$169.99
Physics of the Human Body
$129.99
Probabilistic Extensions of Various Logical Systems
$84.99
Blaue Hemden Rote Fahnen
$64.99
Digitale Pragmatik
$84.99
Grapevine Viruses: Molecular Biology, Diagnostics and Management
$379.99
Posterior Hip Disorders
$159.99
Improving Consistency in Performance Measurement System Design
$139.99
The Public Nature of Science under Assault
$54.99
Underwater Robots
$109.00
Chirurgisches Forum 2000 fr experimentelle und klinische Forschung
$69.99
Algorithms in Bioinformatics
$109.99
Perspectives of System Informatics
$54.99
Arbeitszeit, Betriebszeit und Beschftigung
$49.99
Mitochondrial Bioenergetics
$169.99
Macht und Subjektivierung
$79.99
Pro jQuery in Oracle Application Express
$69.99
Booker T. Washington and the Struggle against White Supremacy
$54.99
Acupuncture for Pain Management
$129.99
Carpal injuries
$109.99
Dynamics of Combustion Systems
$169.99
Phenomenology of Natural Science
$169.99
iLife '11 Made Simple
$19.99
Chemikalien und Drogen
$59.99
Adaptive Personaleinsatzsteuerung in homogenen Arbeitsgruppen bei sequentieller Auftragsstruktur
$69.99
Wilhelm Conrad Rntgen
$49.99
Scalar and Asymptotic Scalar Derivatives
$109.99
Space Security and Legal Aspects of Active Debris Removal
$119.99
Evolutionary and Deterministic Methods for Design Optimization and Control With Applications to Indu
$169.99
Unregulated Custody Transfer of Adopted Children
$139.99
Bio-inspired Computing: Theories and Applications
$84.99
Hochpolymere organische Naturstoffe
$59.99
Essays on Transculturation and Catalan-Cuban Intellectual History
$54.99
VOB/A 2019 - Textausgabe/Text Edition
$64.99
Machine Learning Concepts with Python and the Jupyter Notebook Environment
$69.99
Differentialdiagnose seltener Lungenerkrankungen im Rntgenbild
$54.99
Umladung von langsamen, mehrfach geladenen Ionen in Neutralgasen
$44.99
