Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Formal Methods in Outer Space

Formal Methods in Outer Space

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

del av Programming and Software Engineering-serien

Formal Methods in Outer Space
Om 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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030873479
  • Format:
  • Häftad
  • Sidor:
  • 193
  • Utgiven:
  • 28 September 2021
  • Utgåva:
  • 12021
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 326 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 23 Oktober 2024

Beskrivning av 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.

Användarnas betyg av Formal Methods in Outer Space



Andra köpte även...
Hitta liknande böcker
Boken Formal Methods in Outer Space finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.