|
|
|
|
| LEADER |
01662nam a2200325 a 4500 |
| 001 |
c000045816 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
850411s1985 wb a 10010 eng |
| 010 |
|
|
|a 85008092 //r94
|
| 019 |
1 |
|
|a 12437350
|z 3796686
|z 64914612
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387151818 (U.S.)
|
| 035 |
|
|
|a (OCoLC)12022032
|5 LACONCORD2021
|
| 050 |
|
0 |
|a QA76.5
|b .N16 1984
|
| 082 |
0 |
0 |
|a 001.64
|2 19
|
| 111 |
2 |
|
|a NATO Advanced Study Institute on Logics and Models of Concurrent Systems
|d (1984 :
|c La Colle-sur-Loup, France)
|
| 245 |
1 |
0 |
|a Logics and models of concurrent systems /
|c edited by Krzysztof R. Apt.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1985.
|
| 300 |
|
|
|a viii, 498 p. :
|b ill. ;
|c 25 cm.
|
| 490 |
1 |
|
|a NATO ASI series. Series F, Computer and system sciences ;
|v vol. 13
|
| 500 |
|
|
|a "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.
|
| 500 |
|
|
|a "Published in cooperation with NATO Scientific Affairs Division."
|
| 650 |
|
0 |
|a Parallel processing (Electronic computers)
|x Congresses.
|
| 650 |
|
0 |
|a Electronic data processing
|x Distributed processing
|x Congresses.
|
| 700 |
1 |
|
|a Apt, Krzysztof R.,
|d 1949-
|
| 710 |
2 |
0 |
|a North Atlantic Treaty Organization.
|b Scientific Affairs Division.
|
| 830 |
|
0 |
|a NATO ASI series.
|n Series F,
|p Computer and systems sciences ;
|v no.13.
|
| 852 |
8 |
|
|b CARM
|h A2:AK05F0
|i C04970
|p 0189758
|f BK
|
| 999 |
f |
f |
|i 056c2597-c2a9-55a3-b295-a03fda693982
|s b1f7c886-d4a6-5f8b-a08a-0df21a9f859a
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C04970
|f A2:AK05F0
|h Other scheme
|i book
|m 0189758
|