01018nam--2200337---450 99000308659020331620180725164133.0978-0-321-22862-8000308659USA01000308659(ALEPH)000308659USA0100030865920080326d2004----km-y0itay50------baengUSa---||||001yy<<The>> spin model checkerprimer and reference manualGerard J. HolzmannBoston [etc.]Addison-Wesleycopyr. 2004XII, 596 p.ill.24 cmProgrammi per elaboratoriModelli matematici005.3HOLZMANN,Gerard J.600911ITAsalbcISBD990003086590203316005.3 HOL 136588/CBS00500216901005.3 HOL 1 a40685 Sci.00500332902BKSCIANGELA9020080326USA011118Spin model checker1019866UNISA