Logics for concurrency structure versus automata

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Moller, Faron 1962- (Επιμελητής έκδοσης), Birtwistle, Graham (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1996
Σειρά:Lecture notes in computer science 1043
Θέματα:
LEADER 01286nam a2200301 u 4500
001 10036165
003 upatras
005 20210117195511.0
008 000519s1996 ge eng
020 |a 3540609156 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 004.36 
245 1 0 |a Logics for concurrency  |b structure versus automata  |c Faron Moller, Graham Birtwistle (Eds.) 
260 |a Berlin  |b Springer  |c 1996 
300 |a xi, 266 p.  |b fig.  |c 24 cm. 
490 0 |a Lecture notes in computer science  |v 1043 
504 |a Includes bibliographical references 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Κατανεμημένα συστήματα  |9 1084 
650 4 |a Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)  |9 4430 
700 1 |a Moller, Faron  |d 1962-  |4 edt  |9 7561 
700 1 |a Birtwistle, Graham  |4 edt  |9 7562 
760 0 |a Lecture notes in computer science  |g 1043 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 004.36 M  |m 061817  |p 025000084318  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 004_360000000000000_M  |7 0  |9 7363  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 061817  |l 0  |o 004.36 M  |p 025000084318  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΔΡΑΚΟΠΟΥΛΟΥ  |d 2000-08 
999 |c 3739  |d 3739