Formal descriptions of Programming Concepts / (Registro nro. 49106)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01703nam a22003497a 4500 |
008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACION GENERAL | |
campo de control de longitud fija | 241025b |||||||| |||| 00| 0 eng d |
020 ## - NUMERO INTERNACIONAL NORMALIZADO PARA LIBROS (ISBN) | |
International Standard Book Number | 3540539611 |
040 ## - FUENTE DE CATALOGACION | |
Agencia de catalogación original | FIE |
Idioma de catalogación | Español |
041 ## - CODIGO DE IDIOMA | |
Fuente del código | Inglés |
080 ## - NUMERO DE CLASIFICACION DECIMAL UNIVERSAL (CDU) | |
Número de la Clasificación Decimal Universal | 004.42 NEU |
245 ## - MENCION DE TITULO | |
Título propiamente dicho | Formal descriptions of Programming Concepts / |
Mención de responsabilidad, etc. | edited by Erich J. Neuhold and Manfred Paul |
260 ## - PUBLICACION, DISTRIBUCION, ETC. (PIE DE IMPRENTA) | |
Lugar de publicación, distribución, etc. | Berlín : |
Nombre del editor, distribuidor, etc. | Springer-Verlag, |
Fecha de publicación, distribución, etc. | 1994 |
300 ## - DESCRIPCION FISICA | |
Extensión | 507 páginas : |
Otros detalles físicos | 27 figuras y 33 tablas ; |
Dimensiones | 18 x 26 centímetros |
336 ## - CONTENT TYPE | |
Source | rdacontent |
Content type term | texto |
337 ## - MEDIA TYPE | |
Source | rdamedia |
Media type term | sin medio |
338 ## - CARRIER TYPE | |
Source | rdacarrier |
Carrier type term | volumen |
505 ## - NOTA DE CONTENIDO | |
Nota de contenido | A practical introduction to denotational semantics / Peter D. Moses - Inductive and operational semantics / Egidio Artesiano - Specification and transformation Metodology aspects of the Vienna development method. Towards a meaning of M in VDM / Dines Bjorner - Algebraic specification: semantics, Parametrization and refinment / Martin Wirsing - Formalization of distributed, concurrent, reactive systems / Manfred Broy - Introduction to program verification / Krzystof R. Apt and Ernst-Rüdiger Olderog - Typeful programming / Luca Cardelli |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO | |
Enlace autoridades | 389 |
Término temático o nombre geográfico como elemento de entrada | INFORMÁTICA |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO | |
Enlace autoridades | 392 |
Término temático o nombre geográfico como elemento de entrada | PROGRAMACIÓN |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Neuhold, Erich J. |
Término de relación | editor |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Paul, Manfred |
Término de relación | editor |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Apt, Krzysztof R. |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Artesiano, Egidio |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Bjorner, Dines |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Broy, Manfred |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Cardelli, Luca |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Moses, Peter D. |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Olderog, Ernst-Rüdiger |
Término de relación | Contribución |
700 ## - ASIENTO SECUNDARIO - NOMBRE PERSONAL | |
Nombre personal | Wirsing, Martin |
Término de relación | Contribución |
Retirado | Perdido | Fuente de clasificación | Dañado | No se presta | Ubicación permanente | Locación actual | Fecha de adquisición | Fuente de adquisición | Total préstamos | Signatura topográfica | Inventario | Ultima fecha vista | Numero de ejemplar | Fecha del precio | Tipo de item de Koha | Calificador de localización códificado |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | FIE - Biblioteca Savio | FIE - Biblioteca Savio | 10/25/2024 | Donación IESE 30/09/2010 | 004.42/ N28 / Ej. 2 | FIE26983 | 10/25/2024 | 2 | 10/25/2024 | Libros | ||||||
Dewey Decimal Classification | FIE - Biblioteca Savio | FIE - Biblioteca Savio | 10/25/2024 | Donación IESE 30/09/2010 | 004.42 / N28 | FIE26984 | 10/25/2024 | 10/25/2024 | Libros |