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

Symposium on Real-Time and Hybrid Systems

Symposium on Real-Time and Hybrid Systems

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

This volume is published in honor of Professor Chaochen Zhous 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjrner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhous contributions have been marked by his election as a member of the Chinese Academy of Sciences.

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

International Monetary Cooperation Among the United States, Japan, and Germany

$54.99

Status and Organizations

$84.99

Sanierung von Metallbauteilen

$99.00

Keynes, Cambridge and the General Theory

$169.99

Mechanisms of Inorganic and Organometallic Reactions

$219.99

Atomic Information Technology

$84.99

Informationstechnik in ffentlichen Verwaltungen

$49.99

Leukmie

$119.99

The Trinity

$109.99

Kindergarten, Here I Come! Grades PreK-K

$25.00

Migranten als Journalisten?

$29.99

An Anthropology of the Irish in Belgium

$39.99

Die verkaufte Bildung

$44.99

Green Chemical Reactions

$219.99

Bile Acids in Hepatobiliary Disease

$169.99

Foreign Aid and Political Reform

$39.99

How Western European Nuclear Policy is Made

$59.99

Rebellious Feminism

$54.99

Komsomol Participation In The Soviet First Five-Year Plan

$19.99

Genetic Programming

$84.99

Humorvolle Kommunikation bei Serviceversagen

$64.99

Mitteilungen der Archenhold-Sternwarte Berlin-Treptow

$39.99

Jos Celestino Mutis and Newtonianism in New Granada, 17621808

$159.99

Neural Modeling of Speech Processing and Speech Learning

$69.99

Bryce Canyon (A True Book: National Parks)

$5.96

Genius

$19.99

The Logic of Time

$169.99

Tiere Medien Sinne

$49.99

Sulfur-Centered Reactive Intermediates in Chemistry and Biology

$54.99

Concrete Structures Under Projectile Impact

$219.99

Complex Networks & Their Applications IX

$259.00

VLISP A Verified Implementation of Scheme

$129.00

Ecological Systems of the Geobiosphere

$39.99

Nucleosides and Nucleotides as Antitumor and Antiviral Agents

$39.99

Advances in Biometrics

$84.99

Education and the Risk Society

$49.99

Topics in Analysis

$34.99

China's Private Army

$69.99

Distribution Strategy

$89.99

Endosymbiose der Tiere mit Pflanzlichen Mikroorganismen

$54.99