Read Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof
2016-03-07
0
Read Book Online Now http://readebookonline.com.e-bookpopular.com/?book=0262026651
Read Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof