Отображение 1 - 2 результаты of 2 для поиска '"Programming language semantics"', время запроса: 0.23сек. Отмена результатов
  1. 1
    Proving Properties of Programs on Hierarchical Nominative Data

    Proving Properties of Programs on Hierarchical Nominative Data по Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

    Опубликовано 2016-12-01
    Предметы: “...Programming language semantics...”
    Полный текст
    Статья
  2. 2
    Lifting Transformations

    Lifting Transformations по McAllester, David, Siskind, Jeffrey

    Опубликовано 2004
    Предметы:
    Полный текст

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