Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
QED at Large
A Survey of Engineering of Formally Verified Software
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Di, 13.01.2026
Versand: Kostenlos
-11.3 %
CHF 142.–
CHF 126.–
Beschreibung
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been availabl...
Spezifikationen
Sprache
- Englisch
Autor
- Talia Ringer
- Karl Palmskog
- Ilya Sergey
- Milos Gligoric
- Zachary Tatlock
Erscheinungsjahr
- 2019
Format
- Buch (Softcover)
Anzahl Seiten
- 194