Correct software in web applications and web services (Registro nro. 517540)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	01241nam a22002657a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control	OSt
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control	20260521102021.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija	251209b \|\|\|\|\|\|\|\| \|\|\|\| 00\| 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro	9783319171111
040 ## - FUENTE DE LA CATALOGACIÓN
Centro/agencia transcriptor	RDA
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación	005.3 C824
245 ## - MENCIÓN DE TÍTULO
Título	Correct software in web applications and web services
264 ## - Notificación de producción, publicación, distribución, fabricación y derechos de autor
Lugar de producción, publicación, distribución, fabricación	Estados Unidos de América :
Nombre del productor, editor, distribuidor, fabricante	Springer,
9 (RLIN)	12756
Fecha de producción, publicación, distribución, fabricación o aviso de derechos	2015
300 ## - DESCRIPCIÓN FÍSICA
Extensión	332 páginas
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
NOTA DE BIBLIOGRAFÍA	Incluye bibliografía
505 ## - Nota de contenido con formato
Nota de contenido con formato	Formal modelling and verification of transactional web service composition: a refinement and proof approach with event-B -- Towards a model of services based on cocreation, abstraction and rights distribution -- Integrating a model driven approach and formal verification for the development of secure service applications -- A formal model of client cloud interaction -- W H: the conceptual model for services -- Monitoring of client cloud intraction
546 ## - NOTA DE IDIOMA
Nota de lengua/lenguaje	cataran
650 #0 - MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Desarrollo de software
9 (RLIN)	30971
650 #0 - MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Ingeniería de software
9 (RLIN)	45395
650 #0 - MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Programas para computador
9 (RLIN)	54622
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Punto de acceso adicional - Nombre de persona	Katkalov, Kuzman
9 (RLIN)	54635
Término de relación	autor
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Punto de acceso adicional - Nombre de persona	Thalheim, Bernhard
9 (RLIN)	54636
Término de relación	autor
700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Punto de acceso adicional - Nombre de persona	Dieter Schewe, Klaus
9 (RLIN)	54637
Término de relación	autor
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha	Libro

Existencias
Estado de retiro	Estado de pérdida	Fuente del sistema de clasificación o colocación	Estado dañado	No para préstamo	Código de colección	Localización permanente	Ubicación/localización actual	Ubicación en estantería	Fecha de adquisición	Total de préstamos	Signatura topográfica completa	Código de barras	Fecha visto por última vez	Número de copia	Precio válido a partir de	Tipo de ítem Koha
		Dewey Decimal Classification			General	Biblioteca Rafael Escandón Hernández - UNAC - Medellín	Biblioteca Rafael Escandón Hernández - UNAC - Medellín	Sala principal de colecciones - Primer piso - Medellín	09/12/2025		005.3 C824	19210	09/12/2025	Ejemplar 1	09/12/2025	Libro