Thorsten Altenkirch

Thorsten Altenkirch

2 ספרים במאגר

ספרים

Conceptual Programming with PythonThorsten Altenkirch

Conceptual Programming with Python

Thorsten Altenkirch · 2020

Types for Proofs and ProgramsThorsten Altenkirch

Types for Proofs and Programs

Thorsten Altenkirch · 2003