| Record ID | marc_loc_updates/v35.i53.records.utf8:2535091:1896 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v35.i53.records.utf8:2535091:1896?format=raw |
LEADER: 01896cam a22004217a 4500
001 2005931559
003 DLC
005 20071227080735.0
008 050729s2005 gw a b 101 0 eng d
010 $a 2005931559
016 7 $a975942263$2GyFmDB
020 $a3540285849 (pbk.)
020 $a9783540285847 (pbk.)
035 $a(OCoLC)ocm61430243
040 $aOHX$cOHX$dCUS$dC$Q$dBAKER$dIQU$dIXA$dYDXCP$dLVB$dBTCTA$dDLC
042 $alccopycat
050 00 $aQA76.6$b.I5733 2005
082 00 $a005.1/3$222
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, UK, September 7-9, 2005 : proceedings /$cChris Hankin, Igor Siveroni (eds.).
246 30 $aSAS 2005
260 $aBerlin ;$aNew York :$bSpringer,$cc2005.
300 $ax, 367 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3672
500 $a"12th International Static Analysis Symposium ... held ... at Imperial College London"--Pref.
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer programming$vCongresses.
650 0 $aProgramming languages (Electronic computers)$vCongresses.
650 6 $aProgrammation (Informatique)$vCongrès.
650 6 $aLangages de programmation$vCongrès.
700 1 $aHankin, Chris.
700 1 $aSiveroni, Igor.
856 41 $3Unedited summary from book$uhttp://www.loc.gov/catdir/summary/eng0801/2005931559.html
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3672$zRestricted to SpringerLink subscribers
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005931559-d.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/fy0801/2005931559.html