TY  - BOOK
A1  - / Tobias Nipkow, Gerwin Klein
TI  - Concrete Semantics
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93606742
UR  /book/93606742/Concrete-Semantics/
ER  -