Information flow the logic of distributed systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Barwise, Jon
Άλλοι συγγραφείς: Seligman, Jerry
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge Cambridge University Press 1997
Σειρά:Cambridge tracts in theoretical computer science 44
Θέματα:
LEADER 01506nam a2200325 u 4500
001 10022000
003 upatras
005 20210117205617.0
008 990123s1997 us eng
020 |a 0521583861 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.758 
100 1 |a Barwise, Jon  |9 5254 
245 1 0 |a Information flow  |b the logic of distributed systems  |c Jon Barwise, Jerry Seligman 
260 |a Cambridge  |b Cambridge University Press  |c 1997 
300 |a xv, 274 p.  |b fig.  |c 24 cm. 
490 0 |a Cambridge tracts in theoretical computer science  |v 44 
504 |a Includes bibliography and indeces 
650 4 |a Βάσεις δεδομένων  |x Οργάνωση  |9 1153 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Βάσεις δεδομένων  |9 1154 
700 1 |a Seligman, Jerry  |9 146974 
760 0 |a Cambridge tracts in theoretical computer science  |g 44 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.758 B  |m 042216  |p 025000053664  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.758 B  |m 057230  |p 025000080332  |t 2 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 005_758000000000000_B  |7 0  |9 185548  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 042216  |l 0  |o 005.758 B  |p 025000053664  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 005_758000000000000_B  |7 0  |9 185549  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 057230  |l 0  |o 005.758 B  |p 025000080332  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15 
998 |c ΣΥΨΑ  |d 1999-05 
999 |c 114325  |d 114325