TY  - BOOK
A1  -  Jeannette M. Wing ... (ed.).
TI  - FM '99 - formal methods / 2.
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90107450
UR  /book/90107450/FM-99-formal-methods-2/
ER  -