Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
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)
V105:
Folgt in ca. 15 Arbeitstagen
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
Anmelden