FORMS /FORMAT 2010 (Registro nro. 14081)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01887nam a2200277za04500 |
| 001 - NÚMERO DE CONTROL | |
| Campo de control | 17456 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| Campo de control | CoBo-ECI |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 050703s2011 gw eng d |
| 020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
| ISBN | 9783642142611 99783642142611 |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación Decimal | 658.56 |
| Número de documento (Cutter) | 223 |
| 245 ## - TÍTULO PROPIAMENTE DICHO | |
| Título | FORMS /FORMAT 2010 |
| Medio físico | [electronic resource]: |
| Parte restante del título | Formal Methods for Automation and Safety in Railway and Automotive Systems. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | XI, 257p. |
| Otros detalles físicos | online resource. |
| 520 ## - RESUMEN, ETC. | |
| Nota de sumario, etc. | Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups especially for safety relevant systems the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown. |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| Nombre de materia o nombre geográfico como elemento de entrada | Engineering. |
| 9 (RLIN) | 96 |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 34210 |
| Nombre de materia o nombre geográfico como elemento de entrada | COMPLEXITY |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 34207 |
| Nombre de materia o nombre geográfico como elemento de entrada | PHYSICS |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 33548 |
| Nombre de materia o nombre geográfico como elemento de entrada | AUTOMOTIVE ENGINEERING |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 33950 |
| Nombre de materia o nombre geográfico como elemento de entrada | COMPUTER SIMULATION |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 33916 |
| Nombre de materia o nombre geográfico como elemento de entrada | SIMULATION AND MODELING |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 33582 |
| Nombre de materia o nombre geográfico como elemento de entrada | SYSTEMS SAFETY |
| 650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 1521 |
| Nombre de materia o nombre geográfico como elemento de entrada | QUALITY CONTROL, REABILITY, SAFETY AND RISK. |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Schnieder, Eckehard. |
| 9 (RLIN) | 34678 |
| Término relacionador | editor. |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Tarnai, Geza. |
| 9 (RLIN) | 34680 |
| Término relacionador | editor. |
| 856 ## - ACCESO ELECTRÓNICO | |
| Identificador uniforme del recurso URI | <a href="http://springer.escuelaing.metaproxy.org/book/10.1007/978-3-642-14261-1">http://springer.escuelaing.metaproxy.org/book/10.1007/978-3-642-14261-1</a> |
| Texto del enlace | ir a documento |
| Tipo de formato electrónico | URL |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | Dewey Decimal Classification |
| Koha tipo de item | DOCUMENTOS DIGITALES |
| Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Restricciones de uso | Estado | Código de colección | Localización permanente | Localización actual | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Programa Académico | Propiedades de Préstamo KOHA |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Préstamo Normal | Digital | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | 2014-03-06 | Springer-444444025-OS1549 | Compra | 13770.00 | Ej. 1 | 658.56 223 | D000365 | 2014-10-14 | 1 | Biblioteca | DOCUMENTOS DIGITALES |
