1. Temporal logic for real- time systems
پدیدآورنده : Ostroff, Jonathan S., 4591-
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Real- time data processing,، Process control,، Discrete- time systems
2. Temporal logic for real - time systems
پدیدآورنده : Ostroff, Jonathan S
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Real-time data processing,، Process control
رده :
QA
76
.
54
.
O84
1989
