AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
£9.72
Pages: 177, Paperback, Independently published
AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Pages: 177, Paperback, Independently published
Price now:
£9.72
£9.72 | Amazon | Shop |