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

Colo-Proctology

$109.99

Molecular Plant Taxonomy

$199.99

Stand und Perspektiven der Parteienforschung in Deutschland

$39.99

Advanced Operations Management for Complex Systems Analysis

$54.99

Trolleyology in Medicine

$54.99

Changing Conceptions of Conspiracy

$99.00

Citizen Charter and Local Service Delivery in Bangladesh

$49.99

Business Power and Conflict in International Environmental Politics

$54.99

Design and Implementation of Symbolic Computation Systems

$39.99

Industrial Revolution 4.0, Tech Giants, and Digitized Societies

$64.99

Linksextremismus in Deutschland

$59.99

Applied Stochastic Control of Jump Diffusions

$44.99

Machine Learning and Knowledge Discovery in Databases. Research Track

$79.99

Erfolgsfaktoren im Supply Chain Management der DIY-Branche

$59.99

Moduli of Curves

$79.99

Grade 4 Above-Level Pack (Levels S-V)

$195.00

Silicon-based Nanomaterials

$169.99

Mental Health Practitioner's Guide to HIV/AIDS

$69.99

Exploring European Frontiers

$129.00

Active Ageing in the European Union

$54.99

The Epitome of Evil

$54.99

Warranty Obligations in Western France, 10401270

$59.99

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

$169.99

Schaltungsbuch fr Radio-Amateure

$59.99

The Changing Business Landscape of Romania

$84.99

Concise Encyclopedia of Plastics

$259.00

Proper Doctoring

$54.99

Job-Shop-Scheduling

$64.99

Beitrge zur Binnenwanderung und Bevlkerungsentwicklung in Liberia

$79.99

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

$54.99

Drug Target Selection and Validation

$159.99

Digital Timing Macromodeling for VLSI Design Verification

$129.00

An Historical Geography of Peiping

$39.99

Frakturen und Luxationen

$69.95

Handchirurgie

$699.99

Risiken der Berufswahl

$49.99

Geometry for the Classroom: Exercises and Solutions

$59.99

Formal Languages and Compilation

$59.99

Permutation Tests in Shape Analysis

$54.99

Neural Engineering

$84.99