De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. QED at Large

QED at Large

- 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.
  • 13. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: