1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Interactive TheoremProving and ProgramDevelopment Yves BertotPierre Castéran2004 год

Interactive Theorem Proving and Program Development
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2004
Авторы: Yves Bertot, Pierre Castéran
Издательство: Springer Nature
Источник: Texts in theoretical computer science
Ключевые слова: Logic, programming, and type systems