Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck (ed.).

Other author Van Hentenryck, Pascal.
Other author International Static Analysis Symposium 1997 : Paris, France)
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Descriptionx, 412 pages : illustrations ; 24 cm.
Subjects

SeriesLecture notes in computer science ; 1302
Lecture notes in computer science 1302. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 97030415
ISBN3540634681 (pbk. : alk. paper)

Availability

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