We a good story
Quick delivery in the UK

Formal Methods in Outer Space

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

About Formal Methods in Outer Space

His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030873479
  • Binding:
  • Paperback
  • Pages:
  • 193
  • Published:
  • September 27, 2021
  • Edition:
  • 12021
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 326 g.
Delivery: 2-4 weeks
Expected delivery: December 12, 2024

Description of Formal Methods in Outer Space

His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

User ratings of Formal Methods in Outer Space



Find similar books
The book Formal Methods in Outer Space can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.