1. Formal methods for real-time computing
پدیدآورنده : edited by Constance Heitmeyer and Dino Mandrioli
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Real-time data processing
رده :
QA
76
.
54
.
F64
1996
2. Formal methods for real-time computing
پدیدآورنده : edited by Constance Heitmeyer and Dino Mandrioli
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Real-time data processing
رده :
QA
76
.
54
.
F64
1996
