Chlipala, Adam. Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant / Adam Chlipala. — Cambridge, Massachusetts; London, England: MIT Press, 2013. — 1 PDF (xii, 424 p.). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486>. — Текст: электронный
Период
|
Чтение
|
Печать
|
Копирование
|
Открытие
|
Итого
|
Год 2020
|
0
|
0
|
0
|
2
|
2
|
2021
|
0
|
0
|
0
|
0
|
0
|
Год 2022
|
0
|
0
|
0
|
4
|
4
|
Год 2023
|
0
|
0
|
0
|
8
|
8
|
Год 2024
|
0
|
0
|
0
|
2
|
2
|
Всего
|
0
|
0
|
0
|
16
|
16
|