QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Kirjat - now publishers Inc - 9781680835946 - tiistai 3. syyskuuta 2019
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Talia Ringer

Hinta
€ 67,99

Tilattu etävarastosta

Arvioitu toimitus ma 25. marras - ma 2. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 3. syyskuuta 2019
ISBN13 9781680835946
Tuottaja now publishers Inc
Sivujen määrä 194
Mitta 293 × 234 × 14 mm   ·   306 g