QED at Large: A Survey of Engineering of Formally Verified Software - Foundations and Trends® in Programming Languages - Talia Ringer - Books - now publishers Inc - 9781680835946 - September 3, 2019
In case cover and title do not match, the title is correct

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

Talia Ringer

Price
CA$ 133.99

Ordered from remote warehouse

Expected delivery Oct 23 - Nov 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released September 3, 2019
ISBN13 9781680835946
Publishers now publishers Inc
Pages 194
Dimensions 293 × 234 × 14 mm   ·   306 g

See all of Talia Ringer ( e.g. Paperback Book )