The spin model checker : primer and reference manual /

Bibliographic Details
Main Author:	Holzmann, Gerard Johan, 1951-
Format:	Book
Language:	English
Published:	Boston : Addison-Wesley, c2004.
Subjects:	Lógica y significado de programas. Lógica de programas. Significado de programas. Ingeniería de sistemas > Modelos matemáticos. Verificacción de programas. Modelos Spin. Logics and meanings of programs. Logic of programs. Meanings of programs. Systems engineering > Mathematical models. Computer programs > Testing. Verifying programs. Spin model.

MARC


LEADER	00000nam a22000007a 4500
001	5833858
003	AR_CdUFM
005	20160908124437.0
008	030624s2004 maua b 001 0 eng
020			\|a 0321228626
040			\|a DLC \|c DLC \|d YDX \|d UKM \|d OCLCQ \|d BAKER \|d NLGGC \|d OrLoB-B
100	1		\|9 7757 \|a Holzmann, Gerard Johan, \|d 1951-
245	1	4	\|a The spin model checker : \|b primer and reference manual / \|c Gerard J. Holzmann.
260			\|a Boston : \|b Addison-Wesley, \|c c2004.
300			\|a xii, 596 p. : \|b il. ; \|c 25 cm.
504			\|a Includes bibliographical references (p. 545-552) 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 Ingeniería de sistemas \|x Modelos matemáticos.
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 Systems engineering \|x Mathematical models.
650		4	\|a Computer programs \|x Testing.
650		4	\|a Verifying programs.
650		4	\|a Spin model.
900			\|a AUTH
942			\|c LIBRO \|2
945			\|a MCR \|d 2010-06-18
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_H762 \|7 0 \|9 19688 \|a MMA \|b MMA \|c 4 \|d 2010-06-18 \|e D'Argenio Pedro \|g 0.00 \|l 2 \|o C F3 H762 \|p 20432 \|r 2023-01-24 00:00:00 \|s 2011-05-03 \|w 2010-06-18 \|y LIBRO
999			\|c 15446 \|d 15445