01073nam a2200277 a 4500 vtls000038045 KUKTEM 20251117145620.0 090617t2008 enka f b 001 0 eng d 9781846287695 (pbk.) 1846287693 (pbk.) 1846287707 (ebook) 9781846287701 (ebook) 201107132258 VLOAD 200911091147 fauzi 200908141632 VLOAD 200908141606 VLOAD 200906171207 nadia UMP QA76.76.V47 B46 2008 Ben-Ari, M. Principles of the Spin model checker / Mordechai Ben-Ari London : Springer, c2008 xv, 216 p. : ill. ; 24 cm. Includes bibliographical references (p. [209]-210) and index SPIN (Computer file) Computer software Verification Table of contents only http://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html 0 0 0 0 20000 20000 2019-09-04 238.04 0 QA76.76.V47 B46 2008 0000041480 2019-09-04 00:00:00 1 238.04 2019-09-04 OPEN VIRTUA40 49948 49954 VTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5040*6300*6500*8560*9991