Отображение 1 - 2 результаты of 2 для поиска 'Namjoshi, Kedar S.', время запроса: 0.01сек. Отмена результатов
  1. 1
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    по Namjoshi, Kedar S.
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
  2. 2
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    по Emerson, E. Allen
    Опубликовано в: Springer e-books (2006)
    Другие авторы: “...Namjoshi, Kedar S....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток