| Record ID | marc_columbia/Columbia-extract-20221130-011.mrc:258830885:1498 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-011.mrc:258830885:1498?format=raw |
LEADER: 01498cam a2200337 a 4500
001 5434210
005 20221110034302.0
008 050902s2005 gw aa b 101 0 eng d
016 7 $a975942263$2GyFmDB
020 $a3540285849 (pbk.)
035 $a(OCoLC)ocm61430243
035 $a(NNC)5434210
035 $a5434210
040 $aOHX$cOHX$dNNC
050 4 $aQA76.76$b.I5733 2005
072 7 $aQA$2lcco
111 2 $aInternational Static Analysis Symposium$n(12th :$d2005 :$cLondon, England)
245 10 $aStatic Analysis :$b12th international symposium, SAS 2005, London, England, September 7-9, 2005 : proceedings /$cChris Hankin, Igor Siveroni (eds.).
246 30 $aSAS 2005
260 $aBerlin :$bSpringer,$c2005.
300 $ax, 367 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3672
504 $aIncludes bibliographical references and index.
650 0 $aComputer programming$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2007004295
650 0 $aProgramming languages (Electronic computers)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008108876
700 1 $aHankin, Chris.$0http://id.loc.gov/authorities/names/n84003143
700 1 $aSiveroni, Igor.$0http://id.loc.gov/authorities/names/nb2005013374
830 0 $aLecture notes in computer science ;$v3672.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.76$i.I5733 2005g