Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science - Radhia Cousot - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540617396 - September 11, 1996
In case cover and title do not match, the title is correct

Radhia Cousot
Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science

Price
A$ 84.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 8 - 16, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This work constitutes the proceedings of the Third International Static Analysis Symposium, SAS '96. Among the topics addressed are: program analysis; incremental analysis; abstract representation; partial evaluation; logic programming; functional programming; and constraint programming.

408 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 11, 1996
ISBN13 9783540617396
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 156 × 234 × 21 mm   ·   566 g
Language German  
Editor Cousot, Radhia
Editor Schmidt, David A.

More by Radhia Cousot

Show all

See all of Radhia Cousot ( e.g. Paperback Book )