Отображение 1 - 3 результаты of 3 для поиска 'Müller-Olm, Markus', время запроса: 0.02сек. Отмена результатов
  1. 1
    Variations on Constants Flow Analysis of Sequential and Parallel Programs
    по Müller-Olm, Markus
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
  2. 2
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Другие авторы: “...Müller-Olm, Markus...”
    Полный текст
    Электронная книга
  3. 3
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2009)
    Другие авторы: “...Müller-Olm, Markus...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток