Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Formal Methods in Outer Space

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

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783030873479
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 193
  • Veröffentlicht:
  • 28. September 2021
  • Ausgabe:
  • 12021
  • Abmessungen:
  • 155x235x0 mm.
  • Gewicht:
  • 326 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von 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.

Kund*innenbewertungen von Formal Methods in Outer Space



Ähnliche Bücher finden
Das Buch Formal Methods in Outer Space ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.