High-order operational techniques in semantics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Gordon, Andrew D.
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Cambridge University Press 1998
Θέματα:
LEADER 01195nam a2200241 u 4500
001 10105879
003 upatras
005 20210419075743.0
008 001013s gre
020 |a 0 521 63168 8 
040 |a Βιβλιοθηκη ΙΤΥ  |c Βιβλιοθηκη ΙΤΥ 
040 |a XX-XxUND  |c Βιβλιοθηκη ΙΤΥ 
245 1 0 |a High-order operational techniques in semantics  |c Andrew D. Gordon and Andrew M. Pitts eds 
260 |b Cambridge University Press  |c 1998 
500 |a Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων 
650 4 |a ΕΣΑ  |9 113671 
650 4 |a Σημασιολογία  |9 7132 
650 4 |a PROGRAMMING LANGUAGES  |9 24271 
700 1 |a Gordon, Andrew D.  |9 100631 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.13 GOR  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_130000000000000_GOR  |7 0  |8 NFIC  |9 138861  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.13 GOR  |p 025000284128  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 90834  |d 90834