Vergelijk aanbieders (1)
Pagina's: 496, Paperback, The MIT Press
Prijzen voor het laatst bijgewerkt op: 2025-09-09 12:31:30
Introduction to Dependent Types with Idris: Encoding Program Proofs in
Proofs
All about Proofs, Proofs for
Terug naar boven