9783540680840
Types for Proofs and Programs eBooks & eLearning
Posted by step778 at Nov. 19, 2018
Marino Miculan, Ivan Scagnetto, Furio Honsell, "Types for Proofs and Programs"
2008 | pages: 210 | ISBN: 3540680845 | PDF | 3,4 mb
2008 | pages: 210 | ISBN: 3540680845 | PDF | 3,4 mb