System Specification and Design Languages : (Registro nro. 289074)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 03830nam a22003975i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 289074 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | MX-SnUAN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20160429154656.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 | 150903s2012 xxu| o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9781461414278 |
| -- | 9781461414278 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/9781461414278 |
| Fuente del número o código | doi |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | vtls000340586 |
| 039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
| Nivel de reglas en descripción bibliográfica | 201509030349 |
| Nivel de esfuerzo utilizado para asignar no-encabezamientos de materia en puntos de acceso | VLOAD |
| Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201404300417 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| -- | 201402061029 |
| -- | staff |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | MX-SnUAN |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | MX-SnUAN |
| Normas de descripción | rda |
| 050 #4 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | TK7888.4 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Ka?mierski, Tom J. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 313773 |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | System Specification and Design Languages : |
| Resto del título | Selected Contributions from FDL 2010 / |
| Mención de responsabilidad, etc. | edited by Tom J. Ka?mierski, Adam Morawiec. |
| 250 ## - MENCIÓN DE EDICIÓN | |
| Mención de edición | 1. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | New York, NY : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer New York, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2012. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xii, 254 páginas 127 ilustraciones |
| Otras características físicas | 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 | computadora |
| Código del tipo de medio | c |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | recurso en línea |
| Código del tipo de soporte | cr |
| Fuente | rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
| Tipo de archivo | archivo de texto |
| Formato de codificación | |
| Fuente | rda |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Lecture Notes in Electrical Engineering, |
| Número Internacional Normalizado para Publicaciones Seriadas | 1876-1100 ; |
| Designación de volumen o secuencia | 106 |
| 500 ## - NOTA GENERAL | |
| Nota general | Springer eBooks |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors -- Evaluating Debugging Algorithms from a Qualitative Perspective -- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks -- SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour -- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems -- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System -- Towards Abstract Analysis Techniques for Range Based System Simulations -- Modeling Time-triggered Architecture Based Real-time Systems Using SystemC -- Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach -- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework -- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code -- Architecture Specifications in C?aSH -- SyReC: A Programming Language for Synthesis of Reversible Circuits -- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints -- Formal Support for Untimed MARTE-SystemC Interoperability. |
| 520 ## - SUMARIO, ETC. | |
| Sumario, etc. | This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers design verification, automatic synthesis and mechanized debug aids; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE). |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | Para consulta fuera de la UANL se requiere clave de acceso remoto. |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Morawiec, Adam. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 308953 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Servicio en línea) |
| 9 (RLIN) | 299170 |
| 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 | 9781461414261 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | <a href="http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4614-1427-8">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4614-1427-8</a> |
| Nota pública | Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Recurso en línea |
No hay ítems disponibles.