TY  - BOOK
A1  -  Adenilso Simao, Carroll Morgan (editions.)
TI  - Formal methods, foundations and applications :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 89975925
UR  /book/89975925/Formal-methods-foundations-and-applications/
ER  -