Показ 1 - 1 результатів із 1 для пошуку 'Ануреев, И.С.', час виконання запиту: 0.00сек. Уточнити результати
  1. 1
    На пути к верификации С-программ. Язык c-light и его трансформационная семантика
    за авторством Непомнящий, В.А., Ануреев, И.С., Промский, А.В.
    Опубліковано 2006
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою