CONTACT SELLER SEE ON EBAY
Similar Listings
Program Proofs, Leino, K. Rustan M., Excellent Book
Program Proofs
Program Proofs
Program Proofs [Paperback] Leino, K. Rustan M. and Leino, Kaleb
Program Proofs by Kaleb Leino: Used
Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...
Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...
K. Rustan M. Leino Kaleb Leino Program Proofs (Paperback) (UK IMPORT)