Symposium on Real-Time and Hybrid Systems
Broschiertes Buch

Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Herausgegeben: Jones, Cliff; Wang, Ji; Zhan, Naijun
Versandkostenfrei!
Versandfertig in 6-10 Tagen
38,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
19 °P sammeln!
This volume is published in honor of Professor Chaochen Zhou's 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 w...