Logic for concurrency and synchronisation
-д хадгалсан:
| Байгууллагын зохиогч: | |
|---|---|
| Бусад зохиолчид: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2003.
|
| Цуврал: | Trends in logic ;
v. 18. |
| Нөхцлүүд: | |
| Онлайн хандалт: | An electronic book accessible through the World Wide Web; click to view |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
MARC
| LEADER | 00000nam a22000004a 4500 | ||
|---|---|---|---|
| 001 | 0000075577 | ||
| 005 | 20171002053751.0 | ||
| 006 | m u | ||
| 007 | cr cn||||||||| | ||
| 008 | 030401s2003 ne a sb 000 0 eng | ||
| 010 | |z 2003045807 | ||
| 020 | |z 1402012705 (alk. paper) | ||
| 035 | |a (CaPaEBR)ebr10067496 | ||
| 035 | |a (OCoLC)53984376 | ||
| 040 | |a CaPaEBR |c CaPaEBR | ||
| 050 | 1 | 4 | |a QA9.54 |b .L64 2003eb |
| 082 | 0 | 4 | |a 511.3 |2 21 |
| 245 | 0 | 0 | |a Logic for concurrency and synchronisation |h [electronic resource] / |c edited by Ruy J.G.B. de Queiroz. |
| 260 | |a Dordrecht ; |a Boston : |b Kluwer Academic Publishers, |c c2003. | ||
| 300 | |a xxi, 284 p. : |b ill. | ||
| 490 | 1 | |a Trends in logic ; |v v. 18 | |
| 504 | |a Includes bibliographical references. | ||
| 533 | |a Electronic reproduction. |b Palo Alto, Calif. : |c ebrary, |d 2013. |n Available via World Wide Web. |n Access may be limited to ebrary affiliated libraries. | ||
| 650 | 0 | |a Proof theory. | |
| 650 | 0 | |a Modality (Logic) | |
| 650 | 0 | |a Parallel programming (Computer science) | |
| 655 | 7 | |a Electronic books. |2 local | |
| 700 | 1 | |a Queiroz, Ruy J. G. B. de. | |
| 710 | 2 | |a ebrary, Inc. | |
| 830 | 0 | |a Trends in logic ; |v v. 18. | |
| 856 | 4 | 0 | |u http://site.ebrary.com/lib/daystar/Doc?id=10067496 |z An electronic book accessible through the World Wide Web; click to view |
| 908 | |a 170314 | ||
| 942 | 0 | 0 | |c EB |
| 999 | |c 64735 |d 64735 | ||