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

Зохиогч: Zahar Manna.


Гаралтын мэдээ: USA Springer-Verlag New York, Inc. 1992

Шифр: 32.96 Z-81.
Номын сан:
Гадаад фонд (1).


Бэлэн (1).

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