Produktbild
Cliff (Hrsg.) Jones

Symposium on Real-Time and Hybrid Systems

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

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.