3 Ebooks by Thorsten Altenkirch
Thorsten Altenkirch & Wolfgang Naraschewski: Types for Proofs and Programs
…
PDF
Inggeris
DRM
€57.64
Triguero Isaac Triguero & Altenkirch Thorsten Altenkirch: Conceptual Programming with Python
Thorsten and Isaac have written this book based on a programming course we teach for Master’s Students at the School of Computer Science of the University of Nottingham. The book is intended for stud …
EPUB
Inggeris
DRM
€12.91