The temporal logic of reactive and concurrent systmes (Бичлэгийн дугаар. 100528)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 00476nam a22001697a 4500 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 130715t xxu||||| |||| 00| 0 eng d |
| 020 ## - ISBN | |
| ISBN | 0-387-97664-7 |
| 084 ## - ББК АНГИЛАЛ | |
| Нэмэлт тусгалт | |
| ББК ангилал | 32.96 |
| Зохиогчийн гурван тэмдэгт | Z-81 |
| 100 1# - ЗОХИОГЧ | |
| Зохиогчийн нэр | Zahar Manna |
| 240 1# - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 32.96 Z-81 |
| 245 1# - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | The temporal logic of reactive and concurrent systmes |
| Бага гарчгийн мэдээ | specification |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | USA |
| Хэвлэлийн газар | Springer-Verlag New York, Inc. |
| Хэвлэгдсэн он | 1992 |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 427 |
| 520 ## - Хэл | |
| Бичвэрийн хэл | Англи хэл |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Ном |