Til hovedinnhold
Norli Bokhandel
Favoritter
Hjem/Bøker/Fagbøker/Data og informasjonsteknologi/Programmering

QED at Large - A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo
2019, Pocket, Engelsk
image-product

1 035,-

Bestilles fra England - Sendes fra oss innen ca 10 dager.
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • Ikke tilgjengelig for hent i butikk
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.

Produktegenskaper

  • Forfatter

    Talia Ringer, Karl Palmskog, Ilya Sergey, Gligo

  • Bidragsyter

    Ringer, Talia; Palmskog, Karl; Sergey, Ilya; Gligoric, Milos; Tatlock, Zachary

  • Forlag/Utgiver

    SD Books

  • Format

    Pocket

  • Språk

    Engelsk

  • Utgivelsesår

    2019

  • Antall sider

    194

  • Serienavn

    Foundations and Trends (R) in Programming Language

  • Varenummer

    9781680835946

Kundeanmeldelser

Frakt og levering