TY  - BOOK
A1  - 
TI  - Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72163744
UR  /book/72163744/Hardware-specification-verification-and-synthesi/
ER  -