Principles of the Spin model checker /

Bibliographic Details
Main Author:	Ben-Ari, Mordechai, 1948-
Format:	Book
Language:	English
Published:	London : Springer, c2008.
Subjects:	Lógica y significado de programas. Lógica de programas. Significado de programas. Verificacción de programas. Modelos Spin. Logics and meanings of programs. Logic of programs. Meanings of programs. Verifying programs. Spin model.
Online Access:	Publisher description Table of contents only

MARC


LEADER	00000nam a22000007a 4500
001	15080110
003	AR_CdUFM
005	20171129142141.0
008	071114s2008 enka b 001 0 eng
020			\|a 9781846287695
040			\|a UKM \|c AR_CdUFM \|d AR_CdUFM
100	1		\|9 1318 \|a Ben-Ari, Mordechai, \|d 1948-
245	1	0	\|a Principles of the Spin model checker / \|c Mordechai Ben-Ari ; [foreword by Gerard J. Holzmann].
260			\|a London : \|b Springer, \|c c2008.
300			\|a xv, 216 p. : \|b il. ; \|c 24 cm.
504			\|a Includes bibliographical references (p. [209]-210) and index.
650		4	\|a Lógica y significado de programas.
650		4	\|a Lógica de programas.
650		4	\|a Significado de programas.
650		4	\|a Verificacción de programas.
650		4	\|a Modelos Spin.
650		4	\|a Logics and meanings of programs.
650		4	\|a Logic of programs.
650		4	\|a Meanings of programs.
650		4	\|a Verifying programs.
650		4	\|a Spin model.
856	4	2	\|3 Publisher description \|u http://www.loc.gov/catdir/enhancements/fy0825/2007941384-d.html
856	4	1	\|3 Table of contents only \|u http://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html
942			\|c LIBRO
945			\|a MCR \|d 2010-06-18
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_B456 \|7 0 \|9 19687 \|a MMA \|b MMA \|c 4 \|d 2010-06-18 \|e D'Argenio Pedro \|g 0.00 \|l 4 \|m 2 \|o C F3 B456 \|p 20426 \|r 2023-01-24 \|s 2011-05-03 \|w 2010-06-18 \|y LIBRO
955			\|a jf88 2008-02-25 z-processor \|i jx12 2008-03-05 \|a lk53 2008-03-10 copy 2 added
955			\|a pc17 2007-11-14
999			\|c 15445 \|d 15444