The formal semantics of programming languages : an introduction
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge, Mass. :
MIT Press,
c1993
|
| Σειρά: | Foundations of computing
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/62720 | ||
| 008 | 071113s1993 eng d | ||
| 020 | |a 0-262-73103-7 | ||
| 035 | |l 10092247 | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.131 |2 (22) | |
| 100 | 1 | |a Winskel, G. |q (Glynn) | |
| 245 | 1 | 4 | |a The formal semantics of programming languages : |b an introduction / |c Glynn Winskel |
| 260 | |a Cambridge, Mass. : |b MIT Press, |c c1993 | ||
| 300 | |a xvii, 361 σ.; |b εικ.; |c 24 εκ. | ||
| 490 | 1 | |a Foundations of computing | |
| 504 | |a Περιέχει βιβλιογραφικές παραπομπές (σ. [353]-356) και ευρετήριο | ||
| 650 | 0 | 0 | |a Programming languages (Electronic computers) |x Semantics. |
| 830 | 0 | |a Foundations of computing | |
| 852 | |a INST |b SAMOS |e 20071113 |h 005.131 WIN |p 005300027792 |q 005300027792 |t BK |y 0 | ||
| 901 | |a BIBL3-2007-3 | ||
| 909 | |a Σ |b 139956 | ||
| 922 | |a 3ΕΛΗ |b 200710 |c ΕΠΕΑΕΚ2/ΤΜΠΕΣ |d ΠΑΠΑΣΩΤΗΡΙΟΥ | ||
| 970 | |a ΡΟΥΣΣΟΥ |b ΚΩΝΣΤΑΝΤΙΝΑ |z 2007/11/13 | ||