Library

alt text

alt text

Sign in

Contact Us

alt text

Our Location

alt text

How Can We Help?


Showing 1 Results, Digital:1, Print: 0

Showing Page No. 1 , Digital:1, Print: 0

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

By Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
2006., ()

Subject: ISBN-13:; 9780387237596
Availability: 1 of 1(eBook)
Read More

Detail Locate It
<< Prev Next >>
                                                              
Most Viewed View All