Нийтийн жагсаалт:
Нээлттэй сурах бичиг Шинэ ном /2022 №2/ Шинэ ном /2022 №3/ Бүгдийг харах
Хувийн жагсаалт:
Жагсаалт үүсгэхийн тулд нэвтэрж орно уу
Тусламж
Текст томруулах:    
Онлайн сан
Дэлгэрэнгүй хайлт
The temporal logic of reactive and concurrenr systems

Зохиогч: Manna, Zohar; Pnueli, Amir.


Гаралтын мэдээ: NY Springer-Verlag 1992

Шифр: 22.19 M 25.
Номын сан:
Гадаад фонд (1).


Бэлэн (1).

Номын байршил
МУИС-ийн номын сан catalog › Details for: The temporal logic of reactive and concurrenr systems
Номын сангийн нэр Дансны дугаар Төлөв Санамжууд Буцаах огноо
Гадаад фонд
6017312 Бэлэн Гадаад номын уншлагын танхим