| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:659852376:1124 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:659852376:1124?format=raw |
LEADER: 01124nam a2200277 a 4500
001 011745196-7
005 20090417054227.0
008 080929s2008 gw a b 101 0 eng d
020 $a9783540851134
035 0 $aocn233932892
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, Rupak Majumdar, Jens Palsberg (eds.).
246 30 $a15th International SPIN Workshop
246 3 $aFifteenth International SPIN Workshop
260 $aBerlin :$bSpringer,$cc2008.
300 $ax, 342 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v5156
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xVerification$vCongresses.
630 00 $aSPIN (Computer file)$vCongresses.
700 1 $aMajumdar, Rupak.
700 1 $aHavelund, Klaus,$d1955-
700 1 $aPalsberg, Jens.
988 $a20081117
906 $0MH