Utvidet returrett til 31. januar 2025

Formal Methods in Outer Space

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

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783030873479
  • Bindende:
  • Paperback
  • Sider:
  • 193
  • Utgitt:
  • 28. september 2021
  • Utgave:
  • 12021
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 326 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 12. desember 2024

Beskrivelse 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.

Brukervurderinger av Formal Methods in Outer Space



Finn lignende bøker
Boken Formal Methods in Outer Space finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.