Radhia Cousot – författare

Visar alla böcker från författaren .

4 produkter

Kategorier

4 produkter

Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
AvRadhia Cousot
Häftad, Engelska, 2005
729 kr
Skickas inom 10-15 vardagar
Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
AvRadhia Cousot
Häftad, Engelska, 2003
729 kr
Skickas inom 10-15 vardagar
Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings
AvRadhia Cousot,David A. Schmidt
Häftad, Engelska, 1996
729 kr
Skickas inom 10-15 vardagar
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
AvRadhia Cousot,Matthieu Martel
Häftad, Engelska, 2010
729 kr
Skickas inom 10-15 vardagar