Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
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 wide influence that he has had through his appointm…
Mehr
CHF 68.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Wang, Ji (Hrsg.) / Zhan, Naijun (Hrsg.)
- ISBN: 978-3-030-01461-2
- EAN: 9783030014612
- Produktnummer: 33300297
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2018
- Seitenangabe: 263 S.
- Plattform: PDF
- Masse: 9'952 KB
- Abbildungen: 68 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 11180
12 weitere Werke von Cliff (Hrsg.) Jones:
Bewertungen
Anmelden