Tipsa dina vänner om produkten:
QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages
Talia Ringer
Pris
SEK 1.069
Beställningsvara
Förväntad leverans 18 - 30 okt
Lägg till din iMusic-önskelista
QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages
Talia Ringer
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 3 september 2019 |
ISBN13 | 9781680835946 |
Utgivare | now publishers Inc |
Antal sidor | 194 |
Mått | 293 × 234 × 14 mm · 306 g |
Se alt med Talia Ringer ( t.ex. Pocketbok )