LEADER 01018nam--2200337---450 
001 990003086590203316
005 20180725164133.0
010   $a978-0-321-22862-8
035   $a000308659
035   $aUSA01000308659
035   $a(ALEPH)000308659USA01
035   $a000308659
100   $a20080326d2004----km-y0itay50------ba
101   $aeng
102   $aUS
105   $aa---||||001yy
200 1 $a<<The>> spin model checker$eprimer and reference manual$fGerard J. Holzmann
210   $aBoston [etc.]$cAddison-Wesley$dcopyr. 2004
215   $aXII, 596 p.$cill.$d24 cm
606 0 $aProgrammi per elaboratori$xModelli matematici
676   $a005.3
700  1$aHOLZMANN,$bGerard J.$0600911
801  0$aITA$bsalbc$gISBD
912   $a990003086590203316
951   $a005.3 HOL 1$b36588/CBS$c005$d00216901
951   $a005.3 HOL 1 a$b40685 Sci.$c005$d00332902
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080326$lUSA01$h1118
996   $aSpin model checker$91019866
997   $aUNISA