|
|
|
|
LEADER |
01450cam a2200277 a 4500 |
001 |
4750300 |
003 |
GR-PaULI |
005 |
20210117203643.0 |
008 |
850411s1985 gw a 100 0 eng |
020 |
|
|
|a 0387151818
|q (U.S.)
|
040 |
|
|
|a DLC
|c DLC
|d
|b gre
|e AACR2
|
082 |
0 |
0 |
|a 004.35
|2 23
|
111 |
|
|
|a NATO Advanced Study Institute on Logics and Models of Concurrent Systems
|d (1984 :
|c La Colle-sur-Loup, France)
|9 165176
|
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 σ. :
|b εικ. ;
|c 25 εκ.
|
490 |
1 |
|
|a NATO ASI series. Series F, Computer and system sciences ;
|v 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.
|
650 |
|
4 |
|a Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
|9 4430
|
700 |
1 |
|
|a Apt, Krzysztof R.,
|d 1949-
|9 165177
|
710 |
2 |
|
|a North Atlantic Treaty Organization.
|b Scientific Affairs Division
|9 535
|
830 |
|
|
|a NATO ASI series.
|n Series F,
|p Computer and systems sciences
|v 13.
|9 163532
|
942 |
|
|
|2 ddc
|c BKN
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 Π_Σ_004_350000000000000_NAT
|7 0
|9 121611
|a LISP
|b LISP
|c REF
|d 2016-04-24
|i 073211
|l 0
|o Π/Σ 004.35 NAT
|p 025000100337
|r 2016-04-24 00:00:00
|t 1
|y BKN
|
998 |
|
|
|c ΜΠΟΥΡΑΣ
|d 2017-10
|
999 |
|
|
|c 80378
|d 80378
|