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 and Formal Engineering Methods

Unifying Theories of Programming and Formal Engineering Methods

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

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.

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

Robotic Exploration of the Solar System

$44.99

A Guide to SME Financing

$79.99

Swarm Intelligence

$54.99

Interpretationen der Modallogik

$119.99

Swing for Jython

$59.99

The Changing Face of Parties and Party Systems

$99.00

Blood Substitutes

$109.99

Salben Puder Externa

$59.99

Practical Aspects of Declarative Languages

$39.99

Das Eiszeitalter

$39.99

Bei Welcher Konzentration des Chloralhydrates Tritt in der Subcutis des Pferdes Abscessbildung Auf?

$54.99

Transmission of Information by Orthogonal Functions

$89.00

Kinetose als Merkmal der Mensch-Fahrzeug-Interaktion

$89.99

Amazing Feelings

$5.21

Regional Econometric Modeling

$39.99

Political Discourse in Seventeenth- and Eighteenth-Century Ireland

$109.99

Whys and Hows in Uncertainty Modelling

$109.99

Writing Dancing Together

$39.99

The Invisible Universe

$19.99

Sexuelle Strungen

$17.99

Wissenserwerb und Handlungsregulation

$59.99

Modern Potting Composts

$39.99

HTTE Band 1: Mathematisch-naturwissenschaftliche und allgemeine Grundlagen fr Ingenieure

$89.99

Magnetic Properties of Metals

$199.99

Gestaltung der Erfolgsrechnung nach IFRS

$49.99

Bodies in Resistance

$109.99

Comprehensible Science

$199.99

The Open World, Hackbacks and Global Justice

$129.99

Betriebswirtschaftslehre und betriebliche Praxis

$64.99

Constitutive Laws of Plastic Deformation and Fracture

$219.99

Verification, Model Checking, and Abstract Interpretation

$39.99

Principles and Methods in Landscape Ecology

$119.99

Nitroglycerin und Nitroglycerinsprengstoffe (Dynamite)

$79.99

Effiziente Nachschubsteuerung in mehrstufigen Distributionskanlen

$49.99

Local Language Testing

$199.99

Diophantine Equations and Inequalities in Algebraic Number Fields

$39.99

International Handbook of Protestant Education

$449.99

Interactive Storytelling

$49.99

Performing Disability in Early Modern English Drama

$159.99

Assessing Global Water Megatrends

$119.99