
Logic Programming
Pascal Van Hentenryck
₹5,205

4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
Free delivery. Nothing extra to pay at checkout.
This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists.
Description supplied by the publisher.