Types for Proofs and Programs
Dr. Jan Smith, Peter Dybjer, Bengt Nordström, Thierry Coquand
202
Pagini
2000
An
Paperback
Copertă
Editura
Springer, Berlin
Copertă
Paperback
Pagini
202
An publicare
2000
ISBN
9783540415176
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
