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 Radhia Cousot

Name: 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: 6889 ISK
Availability: OutOfStock
Author: Radhia Cousot

Price

Íkr 6,889

excl. VAT

Ordered from remote warehouse

Expected delivery Aug 5 - 13

Get notified about new Radhia Cousot releases

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

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

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.