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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Gewinn- und aktienkursorientierte Managementvergtung

$59.99

Directory of Solvents

$329.99

Polymer Fracture

$129.00

Open Innovation in Life Sciences

$44.99

Die Kriminalpolitische Stellung des Strafrichters bei der Bestimmung der Strafrechtsfolgen

$59.99

Pastoralist Resilience to Environmental Collapse in East Africa since 1500

$99.00

Konstruktionsmethode fr den Maschinen-, Gerte- und Apparatebau

$54.99

Customer Loyalty and Success

$109.99

LATIN 2014: Theoretical Informatics

$54.99

The Radical Attitude and Modern Political Theory

$54.99

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

$129.00

Informationssysteme fr die Konzernfhrung

$49.99

Oxygen Transport to Tissue

$39.99

Agenda for Change

$39.99

Public Deliberation and Public Culture

$109.99

Grundlagen des EU-Kartengeschfts

$17.99

Informationsgehalt von Optionspreisen

$59.99

Cancer Poetry

$109.99

Housing East Asia

$54.99

The Changing Language of Modern English Drama 19452005

$54.99

X-rays for Archaeology

$129.00

Excel 2016 for Physical Sciences Statistics

$54.99

Therapielexikon der Sportmedizin

$14.99

Der Mensch im Beengten Raum

$59.99

Principle and Application Progress in Location-Based Services

$84.99

Organische Chemie

$54.99

Brain

$54.99

Die chemische Betriebskontrolle in der Zellstoff- und Papierindustrie und anderen Zellstoff verarbei

$59.99

Marktorientierte Systemlieferantenstrategie

$44.99

FRAMEWORK-Praxis fr kaufmnnische Berufe

$69.99

Elektrowrme in der Eisen- und Metallindustrie

$59.99

The Confucian Political Imagination

$84.99

Besteuerung von Termingeschften in Aktienindizes

$34.99

Polaritonic Chemistry

$109.99

Non-melanoma Skin Cancer of the Head and Neck

$109.99

Contemporary Metabolism

$54.99

#DigitalLeadership

$19.99

Distributed Computing and Artificial Intelligence, 14th International Conference

$169.99

Central Bank Digital Currency

$169.99

Jahrbuch der Preuischen Forst- und Jagdgesetzgebung und Verwaltung

$59.99