Author: Andrei Popescu
Publisher:
Published: 2022
Total Pages: 351
ISBN-13: 9781450391825
DOWNLOAD EBOOK →Author: Andrei Popescu (Senior lecturer in computer science)
Publisher:
Published: 2022
Total Pages:
ISBN-13:
DOWNLOAD EBOOK →Author: Cătălin Hriţcu
Publisher:
Published: 2021
Total Pages: 342
ISBN-13: 9781450382991
DOWNLOAD EBOOK →Author: Jeremy Avigad
Publisher:
Published: 2016-01-20
Total Pages:
ISBN-13: 9781450341271
DOWNLOAD EBOOK →CPP 2016: Certified Proofs and Programs Jan 20, 2016-Jan 22, 2016 Saint Petersburg, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Author: Jean-Pierre Jouannaud
Publisher: Springer
Published: 2011-11-15
Total Pages: 414
ISBN-13: 3642253792
DOWNLOAD EBOOK →This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.