ISBN 9780262545747 books & textbook

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

MIT Press /2022-06-07 Paperback / 436 Pages
isbn-10: 0262545748 / isbn-13: 9780262545747