Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Formal Methods in Outer Space

Formal Methods in Outer Space - Bog

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

indgår i Programming and Software Engineering serien

Formal Methods in Outer Space
Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030873479
  • Indbinding:
  • Paperback
  • Sideantal:
  • 193
  • Udgivet:
  • 28. September 2021
  • Udgave:
  • 12021
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 326 g.
  • 2-3 uger.
  • 19. Oktober 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Brugerbedømmelser af Formal Methods in Outer Space



Andre købte også..
Find lignende bøger
Bogen Formal Methods in Outer Space findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.