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
DKK 487,52

Tilattu etävarastosta

Arvioitu toimitus ma 20. - 27. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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
Kieli English  

Katso kaikki joka sisältää Talia Ringer ( Esim. Paperback Book )