The temporal logic of reactive and concurrenr systems (Бичлэгийн дугаар. 98979)
000 -УДИРДЛАГА | |
---|---|
Удирдлага | 00998nam a22003617a 4500 |
003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
Код | MN-UlNUM |
005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20200514112120.0 |
008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
Ерөнхий мэдээлэл | 130604t1992 nyu||||| |||| 00| 0 eng d |
020 ## - ISBN | |
ISBN | 0-387-97664-7 |
-- | 3-540-97664-7 |
040 ## - БИЧЛЭГ ҮҮСГЭГЧ БАЙГУУЛЛАГА | |
Бичлэг үүсгэгч номын сангийн код | МУИС-ийн номын сан |
084 ## - ББК АНГИЛАЛ | |
ББК ангилал | 22.19 |
Зохиогчийн гурван тэмдэгт | M 25 |
Нэмэлт тусгалт | Гарын авлага |
Мэдлэгийн ялгаа | 2 - Байгалийн шинжлэл |
100 ## - ЗОХИОГЧ | |
Зохиогчийн нэр | Manna, Zohar. |
240 ## - Шифр - Номын наалт, тайланд хэрэглэх | |
Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 22.19 M 25 |
245 ## - ҮНДСЭН ГАРЧИГ | |
Номын нэр | The temporal logic of reactive and concurrenr systems |
260 ## - ГАРАЛТЫН МЭДЭЭ | |
Хэвлэгдсэн газар | NY |
Хэвлэлийн газар | Springer-Verlag |
Хэвлэгдсэн он | 1992 |
300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
хуудасны тоо | 427 |
500 ## - Тайлбар | |
Дансны дугаар | ГФ 17312 |
546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
Хэл | Англи хэл дээр, |
653 ## - Түлхүүр үг | |
Түлхүүр үг | mathematics science |
653 ## - Түлхүүр үг | |
Түлхүүр үг | logic, symbolic and mathematical |
653 ## - Түлхүүр үг | |
Түлхүүр үг | computer programming |
700 ## - ХАМ ЗОХИОГЧИД | |
Ба бус | Pnueli, Amir |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Models of concurrency |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Specifications |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Basic models |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Modeling real concurrency |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Temporal logic |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Properties of prograns |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | The generic model |
740 ## - НОМЫН ГАРЧИГ | |
Гарчиг | Interleaving and concurrency |
942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
Зүйлийн төрөл | Ном |