QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Książki - now publishers Inc - 9781680835946 - 3 września 2019
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Talia Ringer

Cena
₪ 260,40

Zamówione z odległego magazynu

Przewidywana dostawa 22 - 29 lis
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 3 września 2019
ISBN13 9781680835946
Wydawcy now publishers Inc
Strony 194
Wymiary 293 × 234 × 14 mm   ·   306 g

Zobacz wszystko od Talia Ringer ( np. Paperback Book )