| Record ID | marc_columbia/Columbia-extract-20221130-014.mrc:79885989:1428 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-014.mrc:79885989:1428?format=raw |
LEADER: 01428cam a2200337 a 4500
001 6858092
005 20221122053657.0
008 080709t20082008gw a b 001 0 eng d
020 $a9783540851134
020 $a3540851135
035 $a(OCoLC)233932892
035 $a(OCoLC)ocn233932892
035 $a(NNC)6858092
035 $a6858092
040 $aNNC$cNNC
050 4 $aQA76.76.V47$bI58 2008
111 2 $aInternational SPIN Workshop$n(15th :$d2008 :$cLos Angeles, Calif.)
245 10 $aModel Checking Software :$b15th International SPIN Workshop, Los Angeles, Ca, USA, August 10-12, 2008 : proceedings /$cKlaus Havelund ...[and others].
246 30 $a15th International SPIN Workshop
246 30 $aInternational SPIN Workshop
260 $aBerlin ;$aNew York, NY :$bSpringer,$c[2008], ©2008.
300 $ax, 342 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v5156
504 $aIncludes bibliographical references.
630 00 $aSPIN (Computer file)$vCongresses.
650 0 $aComputer software$xVerification$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2009121254
700 1 $aHavelund, Klaus,$d1955-$0http://id.loc.gov/authorities/names/n00005481
830 0 $aLecture notes in computer science ;$v5156.$0http://id.loc.gov/authorities/names/n42015162
852 00 $beng$hQA76.76.V47$iI58 2008g