QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Bøger - now publishers Inc - 9781680835946 - 3. september 2019
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Talia Ringer

Pris
$ 86,24

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 21. okt.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 3. september 2019
ISBN13 9781680835946
Forlag now publishers Inc
Antal sider 194
Mål 293 × 234 × 14 mm   ·   306 g
Sprog Engelsk  

Se alt med Talia Ringer ( f.eks. Paperback Bog )