Releases von Radhia Cousot

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Radhia Cousot · Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2005 edition] (2005)

Verification, Model Checking, an... (2005)

Cover for Radhia Cousot · Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 11-13, 2003. Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2003)

Static Analysis: 10th Internatio... (2003)

Cover for Radhia Cousot · Static Analysis: Third International Symposium, Sas '96, Aachen, Germany, September 24 - 26, 1996. Proceedings (Third International Symposium, Sas '96, Aachen, Germany, September 24-26, 1996 - Proceedings) - Lecture Notes in Computer Science (Taschenbuch) (1996)

Static Analysis: Third Internati... (1996)