The formal semantics of programming languages : an introduction /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
1993.
|
| Series: | Foundations of computing.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00882pam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | vtls000157441 | ||
| 003 | UPM | ||
| 005 | 20161023145503.0 | ||
| 008 | 930610s1993 maua b 001 0 eng | ||
| 010 | |a 92-36718 | ||
| 020 | |a 0262231697 | ||
| 035 | |a LC92036718 | ||
| 039 | 9 | |a 200804171201 |b VLOAD |y 200110271154 |z load0004 | |
| 040 | |c UPM | ||
| 090 | 0 | 0 | |a QA76.7 W777 |
| 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 1993. | ||
| 300 | |a 361p. : |b ill. ; |c 24cm. | ||
| 440 | 0 | |a Foundations of computing. | |
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 942 | |2 lcc |c 10000 | ||
| 999 | |c 455482 |d 455482 | ||
| 952 | |0 0 |1 0 |4 0 |6 QA00767 W777 |7 0 |9 613631 |a 10000 |b 10000 |c 10000 |d 2016-10-23 |o QA76.7 W777 |p 1000260019 |r 2016-10-23 |t 1 |w 2016-10-23 |y 10000 | ||