Formal program development : (Record no. 55487)

MARC details
000 -CABECERA
campo de control de longitud fija 01715nam a2200241 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170410.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s1993 gw r 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3540574999
024 8# - Otro identificador estandar
Número estándar o código DIF-M6233
-- 6359
-- DIF005700
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Möller, Bernhard
245 10 - MENCIÓN DE TÍTULO
Título Formal program development :
Resto del título IFIP TC2/WG 2.1 state-of-the-art report
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1a ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Berlín :
Nombre del editor, distribuidor, etc. Springer,
Fecha de publicación, distribución, etc. 1993
300 ## - DESCRIPCIÓN FÍSICA
Extensión 371 p. ;
Dimensiones 24 cm.
490 0# - MENCIÓN DE SERIE
Mención de serie Lecture notes in computer science
Designación de volumen o secuencia 755
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Introduction -- / -- Bernhard Möller, Helmut Parisch, Steve Schuman -- -- Elements of a relational theory of datatypes / -- Roland Backhouse, Paul Hoogendijk -- -- From dynamic programming to greedy algorithms -- / -- Richard Bird, Oege de Moor -- -- Practical transformation of functional programs -- for efficient execution: a case study -- / -- James Boyle, Terence Harmer -- -- Behavior-oriented specification in Gist / -- Martin Feather -- -- Derivation of graph and pointer algorithms -- / -- Bernhard Möller -- -- The refinement calculus, and literate development -- / -- Carroll Morgan -- -- Formal problem specification on an algebraic basis -- / -- Helmut Partsch -- -- Program development in an algebraic setting -- / -- Peter Pepper -- -- Rules and strategies for program transformation / -- Alberto Peiiorossi, Maurizio Proieili -- -- Endomorphic typing -- / -- Michel Sinlzoff -- -- Automating the design of algorithms -- / -- Douglas Smith -- -- Virtual data structures -- / -- Doaitse Swierstra, Oege de Moor --
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada REUNIONES
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Partsch, Helmut
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Schuman, Steve
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04153   A.0.2 IFI DIF-04153 11/03/2025 11/03/2025 Libro