TY  - BOOK
A1  -  Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
TI  - Verification techniques for system-level design /
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90312183
UR  /book/90312183/Verification-techniques-for-systemlevel-design/
ER  -