| Record ID | marc_loc_updates/v36.i11.records.utf8:20282971:1137 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:20282971:1137?format=raw |
LEADER: 01137cam a22003257a 4500
001 2007941384
003 DLC
005 20080311115533.0
008 071114s2008 enka b 001 0 eng
010 $a 2007941384
015 $aGBA771506$2bnb
016 7 $a013834419$2Uk
020 $a9781846287695 (pbk.)
020 $a1846287693 (pbk.)
020 $a1846287707 (ebook)
020 $a9781846287701 (ebook)
035 $a(OCoLC)ocn170042062
040 $aUKM$cUKM$dBAKER$dBTCTA$dYDXCP$dC#P$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bB46 2008
082 04 $a005.14$222
100 1 $aBen-Ari, M.,$d1948-
245 10 $aPrinciples of the Spin model checker /$cMordechai Ben-Ari.
260 $aLondon :$bSpringer,$cc2008.
300 $axv, 216 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references (p. [209]-210) and index.
630 00 $aSPIN (Computer file)
650 0 $aComputer software$xVerification.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2007941384-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html