Proceedings of the 6th ACM SIGPLAN Conference on Certified P
View on Open Library ↗

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

by

Rate this book:
2017

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Yves Bertot

From semantics to computer sci
From semantics to computer science
2009
Interactive theorem proving and program development
Interactive theorem proving and program development
2004

View all books by Yves Bertot →