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

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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Talia Ringer releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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