000 -Etiqueta de registo |
Campo de controlo |
00630 a2200205 4500 |
010 ## - ISBN |
Modalidades de aquisição e/ou preço |
oferta |
Número (ISBN) |
0-262-23169-7 |
100 ## - Dados gerais de processamento |
Dados gerais de processamento |
20130109 frey50 |
101 0# - Língua da publicação |
Língua do texto, banda sonora, etc. |
inglês |
200 1# - Título e menção de responsabilidade |
Título próprio |
The formal semantics of programming languages |
Informação de outro título |
an introduction |
Indicação genérica do tipo de material |
Monografia |
Primeira menção de responsabilidade |
Glynn Winskel |
210 ## - Publicação, Distribuição, etc. |
Lugar da edição, distribuição, etc. |
Cambridge |
Nome do editor, distribuidor, etc. |
The Mit Press |
Data da publicação, distribuição, etc. |
1996 |
215 ## - Descrição física |
Indicação específica do tipo de material e extensão do item |
XVIII, 361 p. |
Dimensões |
26 cm |
225 2# - Colecção |
Título próprio da colecção |
Foundations of computing series |
606 ## - Nome comum usado como assunto |
Elemento de entrada |
Semântica - Programação |
675 ## - Classificação decimal universal (CDU) |
Notação |
004.43 |
606 ## - Nome comum usado como assunto |
Elemento de entrada |
Linguagem de programação |
700 #1 - Nome de pessoa - Responsabilidade principal |
Palavra de ordem |
Winskel |
Outra parte do nome |
Glynn |
801 ## - Fonte de origem |
Agência |
ESTiG-IPB |