IR
EN-30985
انگلیسی
IR
programs-as-Adapting proofs
[Book]
/ Iman Poernomo, John N. Crossley, Martin Wirsing
Springer
, 2010.
Electronic
ENGINEERING (uncategorised)&COMPUTER SCIENCE
E-BOOK
Iman Poernomo
ایران
Adapting proofs-as-programs
عادی
محرمانه
1443719.pdf
متن
old catalog
e
BL
1
a
Y
