TY  - BOOK
A1  - / by Nicolas Halbwachs
TI  - Synchronous programming of reactive systems
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100997285
UR  /book/100997285/Synchronous-programming-of-reactive-systems/
ER  -