Produktbild
Ezio (Hrsg.) Bartocci

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Buch

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA's Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft.… Mehr

CHF 72.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Leucker, Martin (Hrsg.) / Falcone, Yliès (Hrsg.)
  • ISBN: 978-3-030-87347-9
  • EAN: 9783030873479
  • Produktnummer: 37797522
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2021
  • Seitenangabe: 208 S.
  • Masse: H23.5 cm x B15.5 cm x D1.1 cm 324 g
  • Auflage: 1st ed. 2021
  • Abbildungen: Paperback
  • Gewicht: 324

11 weitere Werke von Ezio (Hrsg.) Bartocci:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.