The formal semantics of programming languages. An introduction
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge, Mass., USA :
MIT Press,
1993.
|
| Edice: | Foundations of computing
|
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000pam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 616756 | ||
| 003 | CL-VaPUC | ||
| 005 | 20240126132102.0 | ||
| 008 | 920917s1993 maua b 001 0 eng | ||
| 999 | |c 442922 |d 442920 | ||
| 010 | |a 92036718 | ||
| 020 | |a 0262231697 | ||
| 040 | |a DLC |c Pontificia Universidad Católica de Valparaíso |d DLC | ||
| 082 | 0 | 0 | |a 005.131 WIN 1993 |2 20 |
| 100 | 1 | |a Winskel, Glynn |d author |9 887024 | |
| 245 | 1 | 4 | |a The formal semantics of programming languages. |b An introduction |
| 260 | |a Cambridge, Mass., USA : |b MIT Press, |c 1993. | ||
| 300 | |a xviii, 361 paginas. | ||
| 440 | 0 | |a Foundations of computing |9 887025 | |
| 500 | |a c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023 | ||
| 504 | |a Includes bibliographical references (p. [353]-356) and index. | ||
| 583 | |c 20240109 |k GC | ||
| 650 | 0 | |a Lenguajes de programación (computadores) |x Semántica |9 858459 | |
| 942 | |2 ddc |c BK | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 005_131000000000000_WIN_1993 |7 0 |8 A |9 593221 |a BIBING |b BIBING |d 2024-01-09 |e Donación |i 5660038 |o 005.131 WIN 1993 |p 5660038 |r 2025-01-20 |t 1 |w 2024-01-09 |y BK |k CCI | ||