|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Static Analysis: 10th International Symposium, SAS 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings 2003 Edition (Lecture Notes in Computer Science) | Cousot, Radhia | Paperback | 3540403256 / 9783540403258 | 05/2003 | $52.24 |
| | Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Lecture Notes in Computer Science) | Cousot, Radhia | Paperback | 3642157688 / 9783642157684 | 09/2010 | $52.24 |
| | Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings 1996 Edition (Lecture Notes in Computer Science,) | Cousot, Radhia | Paperback | 3540617396 / 9783540617396 | 09/1996 | $52.24 |
| | Verification, Model Checking, and Abstract Interpretation: 6th International Conference, Vmcai 2005, Paris, France, January 17-19, 2005, Proceedings 2005 Edition (Lecture Notes in Computer Science) | Cousot, Radhia | Paperback | 354024297X / 9783540242970 | 01/2005 | $52.24 |
|
|
|