Logics and models of concurrent systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
Άλλοι συγγραφείς: Apt, Krzysztof R., 1949-
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, c1985.
Σειρά:NATO ASI series. Computer and systems sciences 13.
Θέματα:
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