000			02101cam a2200421 a 4500
999			_c11363 _d11363
001			10685
003			CO-EnEIA
005			20180104052445.0
008			141112t20082010us d gr 001 u eng d
020			_a9781846287695
020			_a9781846287701
040			_aCO-EnEIA _erda
041			_aeng
082	7	4	_a005 _bB456 _220 _qCO-EnEIA
100	1		_94366 _aBen-Ari, Mordechai _d1948-
245	1	0	_aPrinciples of the Spin Model Checker
264	3	0	_aUSA : _bSpringer, _c2008
300			_axv, 216 páginas : _bgráficos ; _c24 cm.
505	2		_a1. Programación secuencial en PROMELA
505	2		_a2. Verificación de programas secuenciales
505	2		_a3. Concurrencia
505	2		_a4. Sincronización
505	2		_a5. Verificación con lógica temporal
505	2		_a6. Datos y estructuras de programación
505	2		_a7. Canales
505	2		_a8. No determinista
505	2		_a9. Temas avanzados en PROMELA
505	2		_a10. Temas avanzados en SPIN
505	2		_a11. Casos de estudio
505	2		_a12. Herramientas de software
520	3		_aEl 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 […] _b(Resumen tomado del libro el 04/0/2017)
650	1	4	_94368 _aSpin Model Checker (Software)
650	2	7	_2LEMB _93245 _aLenguajes de programación (Computadores electrónicos)
650	2	7	_9219 _aSimulación por computadores _2LEMB
700	1		_94367 _aHolzmann, Gerard J. _d1951- _ePrefacio
856	4	2	_uhttp://www.springer.com/cn/book/9781846287695 _yReseña | Principles of the Spin Model Checker
942			_02 _2ddc _cBK