Radhia Cousot - Böcker
Visar alla böcker från författaren Radhia Cousot.
4 produkter
4 produkter
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Häftad, Engelska, 2005
719 kr
Skickas inom 10-15 vardagar
Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Häftad, Engelska, 2003
719 kr
Skickas inom 10-15 vardagar
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
Häftad, Engelska, 1996
719 kr
Skickas inom 10-15 vardagar
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar