H. (University of Manchester) Simmons - Böcker
Visar alla böcker från författaren H. (University of Manchester) Simmons.
1 produkt
1 produkt
Del 51 - Cambridge Tracts in Theoretical Computer Science
Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
Inbunden, Engelska, 2000
2 289 kr
Skickas inom 10-15 vardagar