Udvidet returret til d. 31. januar 2025

QED at Large

- A Survey of Engineering of Formally Verified Software

Bag om QED at Large

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781680835946
  • Indbinding:
  • Paperback
  • Sideantal:
  • 194
  • Udgivet:
  • 3. september 2019
  • Størrelse:
  • 293x234x14 mm.
  • Vægt:
  • 306 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 7. december 2024

Beskrivelse af QED at Large

Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Brugerbedømmelser af QED at Large



Find lignende bøger
Bogen QED at Large 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.