Types for Proofs and Programs
210
Pagini
1995
An
Paperback
Copertă
Editura
Springer, Berlin
Copertă
Paperback
Pagini
210
An publicare
1995
ISBN
9783540605799
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.