TY  - BOOK
A1  -  Tomáš Vojnar, Lijun Zhang (eds.).
TI  - Tools and algorithms for the construction and analysis of systems :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90228633
UR  /book/90228633/Tools-and-algorithms-for-the-construction-and-anal/
ER  -