Radhia Cousot - Böcker

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

4 produkter

Kategorier

4 produkter

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Häftad, Engelska, 2003

709 kr

Skickas inom 10-15 vardagar

Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Häftad, Engelska, 2010

709 kr

Skickas inom 10-15 vardagar