search for books and compare prices
Radhia Cousot has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Verification, Model Checking, And Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings
cover image for 9783540242970
Product Description: The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions...read more
By Radhia Cousot (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540242970 | Springer-Verlag New York Inc, March 1, 2005, cover price $129.00 | About this edition: The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.

Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 11-13, 2003 : Proceedings
By Radhia Cousot and International Static Analysis Symposium 2003 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783540403258 | Springer-Verlag New York Inc, August 1, 2003, cover price $139.00

Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 : Proceedings
cover image for 9783540617396
Product Description: This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen...read more
By Radhia Cousot (editor), International Static Analysis Symposium 1996 (other contributor) and David A. Schmidt (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540617396 | Springer Verlag, June 1, 1996, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.

displaying 1 to 3 | at end