Accra Metropolitan University | e-learning Library :: OPAC
Select Language
Accra Metropolitan University
e-learning Library
Collections Back
Found 1 from your keywords: Author : "Adam Chlipala"
Query took 0.03835 second(s) to complete

Certified Programming with Dependent Types

Author(s) : Adam Chlipala -
Record Detail XML Detail

Information
Welcome To AMU online Library. Use the search options to find your material in our library.

Search Cluster
Generating search cluster...
This software and this template are released Under GNU GPL License Version 3 - The Winner in the Category of OSS Indonesia ICT Award 2009