"Radhia Cousot" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Lecture Notes in Computer Science, 6337)

Автор: Radhia Cousot, Автор: Matthieu Martel

Категория: Компьютеры

Размер книги: 4.30 Mb

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings (Lecture ... Computer Science and General Issues)

Автор: Radhia Cousot

Категория: Компьютеры

Размер книги: 15.19 Mb

Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd

Автор: Radhia Cousot, Автор: David A. Schmidt

Размер книги: 5.74 Mb

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

Автор: Radhia Cousot

Размер книги: 7.21 Mb

Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Автор: Radhia Cousot

Размер книги: 6.62 Mb