AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

Name: AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Brand: Independently published

£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

Amazon

Shop

Similar Products

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

Amazon

£9.72

View All

Mathematics in Programming

Amazon

£54.99

View All

Mathematics and Python Programming

Amazon

£15.62

View All

Quadratic Programming with Computer Programs (Advances in Applied Mathematics)

Amazon

£46.99

£49.99

View All

Programming for Patterns & Mathematical Art

Amazon

£54.00

View All

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

£9.72

AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching

£9.72

Prices

£9.72

Similar Products