TY  - BOOK
A1  -  edited by D. Bjørner and O.N. Oest.
TI  - Towards a formal description of Ada
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90113223
UR  /book/90113223/Towards-a-formal-description-of-Ada/
ER  -