TY  - BOOK
A1  - edited by Howard Barringer ... ]et al.[
TI  - The Imperative future :principles of executable temporal logic
PB  - کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی)
SN  - 104538064
UR  /book/104538064/The-Imperative-future-principles-of-executable-te/
ER  -