AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching
Priser från
JäMFöR ALLA WEBBUTIKER
(2)
Amazon
AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Läs mer
130,94
Utvalda
|
130,94 kr |
Til butik
|
|
130,94 kr |
Til butik
|
Beskrivning
Amazon
AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching