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 and Formal Engineering Methods
Best Price (Coupon Required):
Buy Unifying Theories of Programming and Formal Engineering Methods for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare andHe's Unifying Theories of Programming.
Reviews
Questions & Answers
Are Legal Systems Converging or Diverging?
$179.99
Einfhrung in die Mediaplanung
$17.99
Spatial Information Theory. Foundations of Geographic Information Science
$54.99
Topological Phases in Condensed Matter Physics
$84.99
Gasturbinenkraftwerke
$59.99
Bayesian Analysis of Spatially Structured Population Dynamics
$119.99
Mary McScary
$5.21
The Programming Approach and the Demise of Economics
$84.99
Advances in Intelligent Manufacturing and Robotics
$249.99
The World Economy and Financial System
$49.99
Ergotherapeutische Behandlungsanstze bei Demenz und Korsakow-Syndrom
$39.99
Chemische Technologie
$74.99
Mammalian Cell Cultures for Biologics Manufacturing
$449.99
Explorations into Chinese as a Second Language
$89.00
Refugee Politics in the Middle East and North Africa
$54.99
Hemolytic Anemia in Disorders of Red Cell Metabolism
$39.99
Rapid Game Development Using Cocos2d-JS
$29.99
Saturation of the f-mode Instability in Neutron Stars
$84.99
Nano Risiko Governance
$99.00
New Results in Numerical and Experimental Fluid Mechanics XI
$219.99
Parallel Processing and Applied Mathematics
$54.99
Bravo!
$5.96
Lectins
$109.99
Geo-Informationssysteme
$59.99
Creep Mechanics
$84.99
Networked Systems
$54.99
Anwendung der organischen Geochemie fr die Erdlexploration. Hochdruckforschung in der modernen Ges
$59.99
Biology of the Ovary
$219.99
17th International Conference on Biomagnetism Advances in Biomagnetism - Biomag 2010 - March 28 - Ap
$169.00
Strive-for-Five Conversations (30-copy pack)
$809.70
Catholics and US Politics After the 2020 Elections
$119.00
The Secular Decline of the South African Manufacturing Sector
$109.99
Intelligent Manufacturing:
$39.99
Strategies and Technologies for Healthcare Information
$109.99
(Un)heimliche Lust
$59.99
The Myth of Ham in Nineteenth-Century American Christianity
$99.00
European Economic Integration as a Challenge to Industry and Government
$109.99
Codes, Ciphers and Spies
$24.99
Vitamin A and Retinoids: An Update of Biological Aspects and Clinical Applications
$39.99
Foundations and Practical Applications of Cognitive Systems and Information Processing
$219.99
