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

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

Price
R$ 400.90
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13

Our customers say:

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

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

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
Editor Cousot, Radhia
Editor Schmidt, David A.
Show all

More by Radhia Cousot

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