Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Record no. 102501)

MARC details
000 -CABECERA
campo de control de longitud fija 03088nam a2200445 i 4500
001 - NÚMERO DE CONTROL
campo de control 102501
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control ES-MaUEC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230102113045.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija a||||fo|||| 00| 0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 180122s2018 gw a s |||| 0|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319728148
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-319-72814-8
Fuente del número o código doi
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen ES-MaUEC
Lengua de catalogación spa
Centro/agencia transcriptor ES-MaUEC
Centro/agencia modificador ES-MaUEC
050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.9.O35
Número de documento/Ítem 2018 EB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Przigoda, Nils
Término indicativo de función/relación autor.
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
Enlace <a href="http://viaf.org/viaf/9153773486461432340/">http://viaf.org/viaf/9153773486461432340/</a>
9 (RLIN) 673793
245 10 - MENCIÓN DE TÍTULO
Título Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Mención de responsabilidad, etc. by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Cham
Nombre del de productor, editor, distribuidor, fabricante Springer International Publishing
Fecha de producción, publicación, distribución, fabricación o copyright 2018
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 recurso en línea (XII, 255 páginas)
Otras características físicas 16 ilustraciones, 5 ilustraciones a color
336 ## - TIPO DE CONTENIDO
Fuente rdacontent
Término de tipo de contenido Texto
Código de tipo de contenido txt
337 ## - TIPO DE MEDIO
Fuente rdamedia
Nombre/término del tipo de medio electrónico
Código del tipo de medio c
338 ## - TIPO DE SOPORTE
Fuente rdacarrier
Nombre/término del tipo de soporte recurso electrónico
Código del tipo de soporte cr
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo text file
Formato de codificación PDF
490 0# - MENCIÓN DE SERIE
Mención de serie Engineering (Springer-11647)
520 3# - SUMARIO, ETC.
Sumario, etc. This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.  Additionally, the design flow described is applied to a broad variety of validation and verification tasks.  The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches.
988 ## - NOTA LOCAL 598
Nota local 598 (boletines) EBSPRINGER_2018
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término embne
9 (RLIN) 152887
Término de materia o nombre geográfico como elemento de entrada Diseño orientado a objetos
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término embne
9 (RLIN) 155511
Término de materia o nombre geográfico como elemento de entrada UML (Informática)
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Fuente del encabezamiento o término embne
Término de materia o nombre geográfico como elemento de entrada Software
9 (RLIN) 143838
710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
Número de control del registro de autoridad o número normalizado <a href="http://id.loc.gov/authorities/names/no2005046756">http://id.loc.gov/authorities/names/no2005046756</a>
Enlace <a href="http://viaf.org/viaf/274647764/">http://viaf.org/viaf/274647764/</a>
9 (RLIN) 106996
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
9 (RLIN) 99113
Nombre de persona Wille, Robert
Término indicativo de función/relación autor.
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
Número de control del registro de autoridad o número normalizado http://id.loc.gov/authorities/names/nb2010029916
Enlace <a href="http://viaf.org/viaf/24773049/">http://viaf.org/viaf/24773049/</a>
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Przigoda, Judith
Término indicativo de función/relación autor.
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
9 (RLIN) 673794
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Drechsler, Rolf
Término indicativo de función/relación autor.
Código de función/relación aut
-- http://id.loc.gov/vocabulary/relators/aut
Número de control del registro de autoridad o número normalizado http://id.loc.gov/authorities/names/n98033803
Enlace <a href="http://viaf.org/viaf/64793347/">http://viaf.org/viaf/64793347/</a>
9 (RLIN) 99112
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Edición impresa:
Número Internacional Estándar del Libro 9783319728131
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Edición impresa:
Número Internacional Estándar del Libro 9783319728155
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Edición impresa:
Número Internacional Estándar del Libro 9783319892146
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-319-72814-8
Nota pública Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA)
-- 1
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Fuente del sistema de clasificación o colocación Library of Congress Classification
Tipo de ítem Koha LIBRO-E NO PRÉSTAMO
998 ## - DATOS ESTADÍSTICOS
Fecha de catalogación 05/2020
Tipo de materia E-book
Catalogador Irene Bastante
Catalogado Sí
Holdings
Información adicional para el OPAC Código 2 (categoría) Estado de pérdida Fuente del sistema de clasificación o colocación Tipo de material Código 1: Estado físico No se presta Código de colección Estado Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de adquisición Tipo de préstamo 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
Acceso concurrente No retirado   Library of Congress Classification E-Libro Buen estado Acceso electrónico Ciencias e Ingeniería Acceso electrónico Madrid Digital Madrid Digital Acceso Electrónico (UEM) 08/11/2018 En línea   QA76.9.O35 2018 EB eBook.15112473 04/12/2018 04/12/2018 LIBRO-E NO PRÉSTAMO