Radhia Cousotのリリース

iMusicに在庫あり在庫なし商品を表示

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 (Paperback Book) [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 (Paperback Book) (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 (Paperback Book) (1996)

Static Analysis: Third Internati... (1996)