The Locator -- [(subject = "Compilers Computer programs--Congresses")]

48 records matched your query       

Record 12 | Previous Record | MARC Display | Next Record | Search Results
Title:
Program analysis and compilation, theory and practice [electronic resource] : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2007
Description:
1 online resource (x, 360 p.) : ill.
Subject:
Computer programs--Verification--Congresses.
Compilers (Computer programs)--Congresses.
Computer programming--Congresses.
Wilhelm, R.--(Reinhard),--1946-
Other Authors:
Reps, Thomas W. (Thomas William)
Sagiv, Mooly.
Bauer, Jörg.
Wilhelm, R. (Reinhard), 1946-
Notes:
Description based on print. "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.
Series:
Festschrift 0302-9743 ; 4444. Festschrift
ISBN:
3540713220
9783540713227
OCLC:
(OCoLC)185026877
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.