دانلود کتاب Specification and Compositional Verification of Real-Time Systems
by Jozef Hooman (auth.)
|
عنوان فارسی: مشخصات و ترکیبی تأیید زمان واقعی سیستم |
دانلود کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/5e/Josef_Hofman_03.jpg/45px-Josef_Hofman_03.jpg)