Copied Symposium on Real-Time and Hybrid Systems
Symposium on Real-Time and Hybrid Systems
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
