Sell now
Sell now
All categories
  • MotorsComing Soon
  • PropertyComing Soon
  • JobsComing Soon
  • ServicesComing Soon
ria9781680835946_rkm

Ria Christie English Books

0.00
(0 reviews) Write a review
Uxbridge, GB

QED at Large by Talia RingerKarl PalmskogIlya SergeyMilos GligoricZachary Tatlock

2 In stock
AUTHOR : Various Contributors
TYPE : Paperback / Softback
PUBLISHER : Now Publishers
LANGUAGE : English
PUBLISHED : Feb 2021
PAGES : 194

QED at Large by Talia RingerKarl PalmskogIlya SergeyMilos GligoricZachary Tatlock

£7800
Message Seller
+ −
Description Features Reviews
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.
Description Features Reviews

Product revews

Average Star Rating:
0.00  (0 reviews Total)
Show reviews with:
5 stars (0 reviews)
4 stars (0 reviews)
3 stars (0 reviews)
2 stars (0 reviews)
1 star (0 reviews)
Show all reviews

No reviews found

Write a review