| Record ID | marc_columbia/Columbia-extract-20221130-014.mrc:94586163:1382 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-014.mrc:94586163:1382?format=raw |
LEADER: 01382cam a2200337Ia 4500
001 6877242
005 20221122055007.0
008 080225s2008 gw a b 001 0 eng d
020 $a3540774254
020 $a9783540774259
024 $a40015680356
035 $a(OCoLC)209334163
035 $a(OCoLC)ocn209334163
035 $a(NNC)6877242
035 $a6877242
040 $aYDXCP$cYDXCP$dBAKER$dOHX$dNLGGC$dBWX$dUUM$dVRC$dCUY
050 4 $aQA76.76.V47$bE8 2008
084 $a31.80$2bcl
100 1 $aEsparza, Javier.$0http://id.loc.gov/authorities/names/n94097532
245 10 $aUnfoldings :$ba partial-order approach to model checking /$cJavier Esparza, Keijo Heljanko.
260 $aBerlin :$bSpringer,$c2008.
300 $axii, 169 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
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.$0http://id.loc.gov/authorities/subjects/sh2008002946
700 1 $aHeljanko, Keijo.$0http://id.loc.gov/authorities/names/no2008118467
830 0 $aMonographs in theoretical computer science.$0http://id.loc.gov/authorities/names/n95057845
852 00 $boff,eng$hQA76.76.V47$iE8 2008g