The formal semantics of programming languages : an introduction /

The formal semantics of programming languages : an introduction /

Εμφάνιση άλλων εκδόσεων (1)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Winskel, G. (Glynn) (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996].
Σειρά:Foundations of computing
Θέματα:
Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού.
LEADER 02165pam a2200325 a 4500
001 616756
003 GR-PaULI
005 20210913083951.0
008 920917r19961993maua b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_130000000000000_WIN  |7 0  |9 136456  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 4554  |l 0  |o 005.13 WIN  |p 025000284118  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_130000000000000_WIN  |7 0  |8 NFIC  |9 136457  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.13 WIN  |p 025000284119  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_130000000000000_WIN  |7 0  |8 NFIC  |9 136458  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.13 WIN  |p 025000284120  |r 2016-04-24 00:00:00  |t 3  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_WIN  |7 0  |9 136459  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 005.13 WIN  |r 2016-04-24 00:00:00  |t 4  |w 2016-04-24 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_WIN  |7 0  |9 136460  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 005.13 WIN  |r 2016-04-24 00:00:00  |t 5  |w 2016-04-24 
952 |0 0  |1 0  |4 0  |6 005_130000000000000_WIN  |7 0  |9 136461  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 005.13 WIN  |r 2016-04-24 00:00:00  |t 6  |w 2016-04-24 
999 |c 89369  |d 89369 
010 |a  92036718  
020 |a 0262231697 
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 005.13  |2 23 
100 1 |a Winskel, G.  |q (Glynn)  |9 3416  |e συγγραφέας. 
245 1 4 |a The formal semantics of programming languages :  |b an introduction /  |c Glynn Winskel. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c 1993 [3rd printing 1996]. 
300 |a xviii, 361 σ. :  |b εικ. ;  |c 24 εκ. 
490 1 |a Foundations of computing 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Γλώσσες προγραμματισμού.  |9 263 
830 0 |9 187375  |a Foundations of computing 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2021-09 

Παρόμοια τεκμήρια