Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. QED at Large

QED at Large

- A Survey of Engineering of Formally Verified Software

av Talia Ringer

del av Foundations and Trends (R) in Programming Languages-serien

QED at Large av Talia Ringer
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781680835946
  • Format:
  • Häftad
  • Sidor:
  • 194
  • Utgiven:
  • 3. september 2019
  • Mått:
  • 293x234x14 mm.
  • Vikt:
  • 306 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 26. november 2024

Om Talia Ringer

Se alla böcker av Talia Ringer

Beskrivning av 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.

Användarnas betyg av QED at Large



Andra köpte även...
Hitta liknande böcker
Boken QED at Large finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.