TY  - BOOK
A1  -  S.J. Goldsack and S.J.H. Kent (eds.).
TI  - Formal methods and object technology
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90099472
UR  /book/90099472/Formal-methods-and-object-technology/
ER  -