00728nam a22002297a 4500 SNU 20140811164315.0 140811b xxu||||| |||| 00| 0 eng d 9780321228628 HCL 620.001171 HOL Holzmann, Gerard J. The spin model checker : primer and reference manual / Holzmann, Gerard J. Boston ; Addison-Wesley, , ©2004. xii, 596 p. : ill. ; 25 cm. Systems engineering -- Mathematical models. Computer programs -- Testing. Ingénierie des systèmes -- Modèles mathématiques Gerard J Holzmann Mathematics ddc HCL 23509 23509 1 0 ddc 0 0 SNUL SNUL 2014-08-11 0 620.001171 HOL H5469 2014-08-11 00:00:00 2014-08-11 HCL