Normal view MARC view ISBD view

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

Contributor(s): Reps, Thomas W. (Thomas William) | Sagiv, Mooly | Bauer, Jörg | Wilhelm, R. (Reinhard), 1946-.
Material type: TextTextSeries: Springer.Lecture notes in computer science: 4444.; Lecture notes in computer scienceFestschrift: Publisher: Berlin ; New York : Springer, c2007Description: 1 online resource (x, 360 p.) : ill.ISBN: 9783540713159 (soft cover : alk. paper); 3540713158 (soft cover : alk. paper); 9783540713227 (electronic bk.); 3540713220 (electronic bk.); 9786610940691; 661094069X.Subject(s): Wilhelm, R. (Reinhard), 1946- | Computer programs -- Verification -- Congresses | Compilers (Computer programs) -- Congresses | Computer programming -- CongressesAdditional physical formats: Print version:: Program analysis and compilation, theory and practice.LOC classification: QA76.76.V47 | P745 2007Online resources: Click here to view this ebook.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Status Date due Barcode
Electronic Book UT Tyler Online
QA76.76.V47 P745 2007 (Browse shelf) Available ocn143589254

"Papers ... [presented at] a celebratory symposium held at Schloss Dagstuhl, Germany"--P. [4] of cover.

"[Symposium held] June 9-10, 2006"--Pref.

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.