QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Bücher - now publishers Inc - 9781680835946 - 3. September 2019
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

Talia Ringer

Preis
Fr. 57,99

Bestellware

Lieferdatum: ca. 22. - 29. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages

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.


194 pages

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 3. September 2019
ISBN13 9781680835946
Verlag now publishers Inc
Seitenanzahl 194
Maße 293 × 234 × 14 mm   ·   306 g