|
|
|
|
| LEADER |
01237nam a2200265ua 4500 |
| 005 |
20170228143323.0 |
| 008 |
860527|1985 gw || |1|| ||eng |
| 020 |
|
|
|a 3540151818
|
| 020 |
|
|
|a 0387151818
|
| 040 |
|
|
|a Uk
|c Uk
|b hrv
|d HR-ZaFER
|e ppiak
|
| 041 |
|
|
|a eng
|
| 084 |
|
|
|a PN 48
|2 blsrissc
|
| 111 |
2 |
|
|a NATO Advanced Study Institute on Logics and Models of Concurrent Systems
|d (1984 :
|c La Colle-sur-Loup)
|9 38286
|
| 245 |
1 |
0 |
|a Logics and models of concurrent systems /
|c edited by Krzysztof R. Apt.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1985.
|
| 300 |
|
|
|a 498 str. ;
|c 25cm.
|
| 490 |
1 |
|
|a NATO ASI series. Series F, Computer and systems 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, 1984.
|
| 500 |
|
|
|a Published in cooperation with NATO Scientific Affairs Division.
|
| 540 |
|
|
|a Current copyright fee: GBP22.19
|c 42\0
|5 Uk
|
| 700 |
1 |
|
|a Apt, Krzysztof R.,
|d 1949-
|9 38287
|
| 710 |
2 |
|
|a North Atlantic Treaty Organization.
|b Scientific Affairs Division.
|9 38288
|
| 810 |
2 |
|
|a North Atlantic Treaty Organization.
|t NATO ASI series. Series F, Computer and systems sciences ;
|v vol.13.
|9 38289
|
| 942 |
|
|
|2 udc
|c K
|
| 999 |
|
|
|c 47185
|d 47185
|
