Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

QED at Large

- A Survey of Engineering of Formally Verified Software

Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781680835946
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 194
  • Veröffentlicht:
  • 3. September 2019
  • Abmessungen:
  • 293x234x14 mm.
  • Gewicht:
  • 306 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.
Verlängerte Rückgabefrist bis 31. Januar 2025
  •  

    Keine Lieferung vor Weihnachten möglich.
    Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von 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.

Kund*innenbewertungen von QED at Large



Ähnliche Bücher finden
Das Buch QED at Large ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.