Formal verification of Simulink/Stateflow diagrams : (Record no. 94836)

MARC details
000 -CABECERA
campo de control de longitud fija 01796cam a2200421Ii 4500
001 - NÚMERO DE CONTROL
campo de control 94836
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control ES-MaUEC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20230102112634.0
006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL
campo de control de longitud fija m o d
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr cnu|||unuuu
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 161109t20162017sz ob 001 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3319470167
Información calificativa (electronic bk.)
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783319470160
Información calificativa (electronic bk.)
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
ISBN cancelado o inválido 9783319470146
Información calificativa (print)
035 ## - NÚMERO DE CONTROL DEL SISTEMA
Número de control de sistema (OCoLC)962303154
Número de control cancelado/no válido (OCoLC)965474582
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen N$T
Centro/agencia transcriptor N$T
Centro/agencia modificador GW5XE
-- IDEBK
-- N$T
-- EBLCP
-- YDX
-- OCLCF
-- IDB
-- MERUC
-- UAB
-- IOG
-- MERER
-- ESU
-- Z5A
-- OCLCQ
-- OCLCO
-- JBG
-- IAD
-- ICW
-- ICN
-- OTZ
-- OCLCQ
-- U3W
-- ES-MaUEC
Lengua de catalogación spa
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.76.V47
Número de documento/Ítem Z436 2016 EB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Zhan, Naijun,
Término indicativo de función/relación autor
245 10 - MENCIÓN DE TÍTULO
Título Formal verification of Simulink/Stateflow diagrams :
Resto del título a deductive approach
Mención de responsabilidad, etc. Naijun Zhan, Shuling Wang, Hengjun Zhao.
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Cham, Switzerland
Nombre del de productor, editor, distribuidor, fabricante Springer
Fecha de producción, publicación, distribución, fabricación o copyright [2016]
264 #4 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Fecha de producción, publicación, distribución, fabricación o copyright 2017
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 recurso en línea
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido Texto
Código de tipo de contenido txt
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio electrónico
Código del tipo de medio c
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte recurso electrónico
Código del tipo de soporte cr
Fuente rdacarrier
500 ## - NOTA GENERAL
Nota general SpringerLink
-- Springer Engineering eBooks 2017 English+International
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye referencias bibliográficas e índice
988 ## - NOTA LOCAL 598
Nota local 598 (boletines) EBOOK, asignarmaterias, EBSPRINGER_2017A
630 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÍTULO UNIFORME
Título uniforme SIMULINK.
630 00 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÍTULO UNIFORME
Título uniforme Stateflow.
630 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÍTULO UNIFORME
Título uniforme SIMULINK.
Fuente del encabezamiento o término fast
Número de control del registro de autoridad o número normalizado (OCoLC)fst01381236
630 07 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÍTULO UNIFORME
Título uniforme Stateflow.
Fuente del encabezamiento o término fast
Número de control del registro de autoridad o número normalizado (OCoLC)fst01793462
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software
Subdivisión general Verification.
Fuente del encabezamiento o término embne
Número de control del registro de autoridad o número normalizado (OCoLC)fst00872604
--
9 (RLIN) 143838
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Wang, Shuling,
Término indicativo de función/relación autor
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Zhao, Hengjun,
Término indicativo de función/relación autor
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso https://go.openathens.net/redirector/universidadeuropea.es?url=http://link.springer.com/10.1007/978-3-319-47016-0
Nota pública Acceso a este recurso digital (usuarios Universidad Europea de Madrid)
998 ## - DATOS ESTADÍSTICOS
Fecha de catalogación 02/2018
Tipo de materia E-book
Catalogador
Catalogado
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA)
-- 1
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 Fuente de adquisición Precio 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/01/2018 5 0.00 En línea   QA76.76.V47 Z436 2016 EB eBook.20022441 26/02/2018 26/02/2018 LIBRO-E NO PRÉSTAMO