| Record ID | marc_loc_2016/BooksAll.2016.part35.utf8:80570197:2034 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part35.utf8:80570197:2034?format=raw |
LEADER: 02034cam a22004454a 4500
001 2007922986
003 DLC
005 20080312092217.0
008 070215s2007 gw a b 111 0 eng c
010 $a 2007922986
016 7 $a983418055$2GyFmDB
020 $a9783540713159 (soft cover : alk. paper)
020 $a3540713158 (soft cover : alk. paper)
035 $a(CStRLIN)NYCXV6059262-B
040 $aOHX$cOHX$dCUS$dBAKER$dYDXCP$dNDD$dBTCTA$dC$Q$dIQU$dDLC
042 $apcc
050 00 $aQA76.76.V47$bP745 2007
072 7 $aQA$2lcco
082 00 $a005.1/4$222
245 00 $aProgram analysis and compilation, theory and practice :$bessays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /$cThomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2007.
300 $ax, 360 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4444.$aFestschrift
500 $a"Papers ... [presented at] a celebratory symposium held at Schloss Dagstuhl, Germany"--P. [4] of cover.
500 $a"[Symposium held] June 9-10, 2006"--Pref.
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer programs$xVerification$vCongresses.
650 0 $aCompilers (Computer programs)$vCongresses.
650 0 $aComputer programming$vCongresses.
600 10 $aWilhelm, R.$q(Reinhard),$d1946-
700 1 $aReps, Thomas W.$q(Thomas William)
700 1 $aSagiv, Mooly.
700 1 $aBauer, Jörg.
700 1 $aWilhelm, R.$q(Reinhard),$d1946-
830 0 $aLecture notes in computer science ;$v4444.
830 0 $aLecture notes in computer science.$pFestschrift.
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/fy0714/2007922986.html
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4444$zRestricted to SpringerLink subscribers
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0826/2007922986-d.html