Comparative metric semantics of programming languages nondeterminism and recursion

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Breugel, Franck van 1966-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Boston Birkhauser 1998
Σειρά:Progress in theoretical computer science
Θέματα:
LEADER 01230nam a2200289 u 4500
001 10036051
003 upatras
005 20210117195507.0
008 000406s1998 us eng
020 |a 0817639276 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.13 
100 1 |a Breugel, Franck van  |d 1966-  |9 7336 
245 1 0 |a Comparative metric semantics of programming languages  |b nondeterminism and recursion  |c Franck van Breugel 
260 |a Boston  |b Birkhauser  |c 1998 
300 |a xix, 220 p.  |b fig.  |c 25 cm. 
490 0 |a Progress in theoretical computer science 
504 |a Includes bibliographical references and indexes 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Γλώσσες προγραμματισμού  |9 263 
650 4 |a Επιστήμη των υπολογιστών  |9 4210 
760 0 |a Progress in theoretical computer science 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.13 B  |m 061124  |p 025000081969  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_B  |7 0  |9 7202  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 061124  |l 0  |o 005.13 B  |p 025000081969  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΠΑΝΑΓΟΠΟΥΛΟΥ  |d 2000-08 
999 |c 3631  |d 3631