Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Forlænget returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. QED at Large

QED at Large - Talia Ringer - Bog

- A Survey of Engineering of Formally Verified Software

af Talia Ringer

indgår i Foundations and Trends (R) in Programming Languages serien

QED at Large af Talia Ringer
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.
  • 8-11 hverdage.
  • 16. januar 2025
På lager
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Normalpris

Medlemspris

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

Bag om Talia Ringer

Vis alle bøger af Talia Ringer

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



Andre købte også..
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.