Formal descriptions of Programming Concepts / (Registro nro. 49106)

Detalles MARC
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
Existencias
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