Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1
    Зображення обкладинки

    Certified programming with dependent types. A pragmatic introduction to the coq proof assistant. за авторством Chlipala, Adam

    Опубліковано 2013
    Книга

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: