Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt, eds.

Other author Cousot, Radhia.
Other author Schmidt, David A., 1953-
Other author International Static Analysis Symposium 1996 : Aachen, Germany)
Format Book
Publication InfoBerlin ; New York : Springer, ©1996.
Descriptionix, 388 pages : illustrations ; 24 cm.
Subjects
Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.

SeriesLecture notes in computer science ; 1145
Lecture notes in computer science 1145. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 96035936
ISBN3540617396 (alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6 .S716 1996 ✔ Available Place Hold