| Record ID | marc_loc_updates/v37.i25.records.utf8:33390611:1250 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v37.i25.records.utf8:33390611:1250?format=raw |
LEADER: 01250cam a22003257a 4500
001 2008921563
003 DLC
005 20090616155718.0
008 080124s2008 gw a b 001 0 eng d
010 $a 2008921563
020 $a3540774254
020 $a9783540774259
035 $a(OCoLC)ocn209334163
040 $aYDXCP$cYDXCP$dBAKER$dOHX$dNLGGC$dBWX$dUUM$dVRC$dCUY$dDLC
042 $alccopycat
050 00 $aQA76.76.T48$bE87 2008
082 00 $a005.1/4$222
084 $a31.80$2bcl
100 1 $aEsparza, Javier.
245 10 $aUnfoldings :$ba partial-order approach to model checking /$cJavier Esparza, Keijo Heljanko.
260 $aBerlin :$bSpringer,$cc2008
300 $axii, 169 p. :$bill. ;$c25 cm.
490 1 $aMonographs in theoretical computer science: an EATCS series$x1431-2654
504 $aIncludes bibliographical references (p. [157]-164) and index.
650 0 $aComputer software$xTesting.
650 0 $aComputer systems$xVerification.
700 1 $aHeljanko, Keijo.
830 0 $aMonographs in theoretical computer science.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0904/2008921563-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0904/2008921563-t.html