Thorsten Altenkirch

الكتب
Conceptual Programming with Python Conceptual Programming with Python
Conceptual Programming with Python
٢٠٢٠
Types for Proofs and Programs Types for Proofs and Programs
Types for Proofs and Programs
٢٠٠٧