The formal semantics of programming languages an introduction

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Winskel, G. (Glynn)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, Mass. MIT Press 1993
Σειρά:Foundations of computing
Θέματα:
LEADER 01064nam a2200277 u 4500
001 10033731
003 upatras
005 20210913083811.0
008 000406s1993 us eng
952 |0 0  |1 0  |4 0  |6 005_130000000000000_W  |7 0  |9 2466  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 061100  |l 0  |o 005.13 W  |p 025000081990  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
999 |c 1371  |d 1371 
020 |a 0262231697 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.131 
100 1 |a Winskel, G.  |q (Glynn)  |9 3416 
245 1 0 |a The formal semantics of programming languages  |b an introduction  |c Glynn Winskel 
260 |a Cambridge, Mass.  |b MIT Press  |c 1993 
300 |a xviii, 361 p.  |c 24 cm. 
490 0 |a Foundations of computing 
504 |a Includes bibliographical references and index 
650 4 |a Γλώσσες προγραμματισμού  |9 1594 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Μαθηματικές αρχές  |9 3415 
760 0 |a Foundations of computing series 
942 |2 ddc  |c BK15 
998 |c ΗΛΙΟΠΟΥΛΟΥ  |d 2000-04