Результаты поиска - Leroy, Xavier

  • Отображение 1 - 1 результаты of 1
Отмена результатов
  1. 1
    Значок книги

    Program logics for certified compilers. по Appel, Andrew W., 1960-, Dockins, Robert, Hobor, Aquinas, Beringer, Lennart, Dodds, Josiah, Stewart, Gordon, Blazy, Sandrine, Leroy, Xavier

    Опубликовано 2014
    ‌

    Добавить в Избранное
    Сохранить в:

Инструменты поиска: