| 000 -CABECERA |
|---|
| Campo de control de longitud fija |
02101cam a2200421 a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| Campo de control |
10685 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL |
|---|
| Campo de control |
CO-EnEIA |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Campo de control |
20180104052445.0 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
|---|
| Campo de control de longitud fija |
141112t20082010us d gr 001 u eng d |
| 020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) |
|---|
| ISBN |
9781846287695 |
| 020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) |
|---|
| ISBN |
9781846287701 |
| 040 ## - FUENTE DE CATALOGACIÓN |
|---|
| Agencia de catalogación original |
CO-EnEIA |
| Convenciones de la descripción |
rda |
| 041 ## - CÓDIGO DE IDIOMA |
|---|
| Código de idioma para texto, pista de sonido o título separado |
Inglés |
| 082 74 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación Decimal |
005 |
| Número de documento (Cutter) |
B456 |
| Número de edición DEWEY |
20 |
| Agencia que asigna el número |
CO-EnEIA |
| 100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL |
|---|
| 9 (RLIN) |
4366 |
| Nombre de persona |
Ben-Ari, Mordechai |
| Fechas asociadas con el nombre |
1948- |
| 245 10 - TÍTULO PROPIAMENTE DICHO |
|---|
| Título |
Principles of the Spin Model Checker |
| 264 30 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
USA : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2008 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
xv, 216 páginas : |
| Otros detalles físicos |
gráficos ; |
| Dimensiones |
24 cm. |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
1. Programación secuencial en PROMELA <br/><br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
2. Verificación de programas secuenciales<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
3. Concurrencia<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
4. Sincronización<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
5. Verificación con lógica temporal<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
6. Datos y estructuras de programación<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
7. Canales<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
8. No determinista<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
9. Temas avanzados en PROMELA<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
10. Temas avanzados en SPIN<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
11. Casos de estudio<br/> |
| 505 2# - NOTA DE CONTENIDO FORMATEADA |
|---|
| Nota de contenido con formato preestablecido |
12. Herramientas de software<br/> |
| 520 3# - RESUMEN, ETC. |
|---|
| Nota de sumario, etc. |
El Spin Model Checker es un software profesional extensamente usado para especificación y verificación de sistemas concurrentes y distribuidos. Modelos, escritos en un lenguaje simple llamado Promela, pueden ser simulados aleatoriamente o interactivamente. Spin puede generar verificadores eficientes que busquen un contraejemplo para las especificaciones de corrección aplicadas a un modelo. Spin es también es una herramienta importante para enseñar conceptos importantes de la ciencia de los computadores, tales como verificación, concurrencia y no determinismo […] |
| Ampliación de la nota de sumario |
(Resumen tomado del libro el 04/0/2017) |
| 650 14 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
|---|
| 9 (RLIN) |
4368 |
| Nombre de materia o nombre geográfico como elemento de entrada |
Spin Model Checker (Software) |
| 650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Fuente del encabezamiento o término |
LEMB |
| 9 (RLIN) |
3245 |
| Nombre de materia o nombre geográfico como elemento de entrada |
Lenguajes de programación (Computadores electrónicos) |
| 650 27 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA |
|---|
| 9 (RLIN) |
219 |
| Nombre de materia o nombre geográfico como elemento de entrada |
Simulación por computadores |
| Fuente del encabezamiento o término |
LEMB |
| 700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL |
|---|
| 9 (RLIN) |
4367 |
| Nombre de persona |
Holzmann, Gerard J. |
| Fechas asociadas al nombre |
1951- |
| Término relacionador |
Prefacio |
| 856 42 - ACCESO ELECTRÓNICO |
|---|
| Identificador uniforme del recurso URI |
<a href="http://www.springer.com/cn/book/9781846287695">http://www.springer.com/cn/book/9781846287695</a> |
| Texto del enlace |
Reseña | Principles of the Spin Model Checker |
| 942 ## - ELEMENTOS KOHA |
|---|
| Koha préstamos (prestados), todos los ejemplares |
2 |
| Fuente de clasificación o esquema de ordenación en estanterías |
|
| Koha tipo de item |
Libro - Material General |
Sede Las Palmas: km 2 + 200 Vía al Aeropuerto José María Córdoba Envigado, Colombia.
Tel: (+57) 604 354 90 90, ext. 248
