Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $65.02, very good condition, Sold by BooksRun rated 4.0 out of 5 stars, ships from Philadelphia, PA, UNITED STATES, published 2022 by MIT Press.
Add this copy of Certified Programming with Dependent Types: A Pragmatic to cart. $68.44, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2022 by MIT Press.
Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $76.50, very good condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 2013 by MIT Press.
Add this copy of Certified Programming with Dependent Types: A Pragmatic to cart. $82.32, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2022 by MIT Press.
Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $87.79, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2022 by MIT Press.
Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $115.87, good condition, Sold by TEXTSHUB rated 5.0 out of 5 stars, ships from Franklin Lakes, NJ, UNITED STATES, published 2013 by The MIT Press.
Add this copy of Certified Programming With Dependent Types: a Pragmatic to cart. $120.70, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2022 by MIT Press.
