?

Usage statistics
Mode: For a past period of time For all time by years For all time by quarters For all time by months

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>. — Текст: электронный

stat
Period Read Print Copy Open Total
Year 2020 Quarter 2 May 0 0 0 1 1
June 0 0 0 0 0
Quarter 3 July 0 0 0 0 0
August 0 0 0 0 0
September 0 0 0 0 0
Quarter 4 October 0 0 0 1 1
November 0 0 0 0 0
December 0 0 0 0 0
2021 Quarter 1 January 0 0 0 0 0
February 0 0 0 0 0
March 0 0 0 0 0
Quarter 2 April 0 0 0 0 0
May 0 0 0 0 0
June 0 0 0 0 0
Quarter 3 July 0 0 0 0 0
August 0 0 0 0 0
September 0 0 0 0 0
Quarter 4 October 0 0 0 0 0
November 0 0 0 0 0
December 0 0 0 0 0
Year 2022 Quarter 1 January 0 0 0 0 0
February 0 0 0 0 0
March 0 0 0 0 0
Quarter 2 April 0 0 0 0 0
May 0 0 0 0 0
June 0 0 0 1 1
Quarter 3 July 0 0 0 0 0
August 0 0 0 1 1
September 0 0 0 1 1
Quarter 4 October 0 0 0 0 0
November 0 0 0 1 1
December 0 0 0 0 0
Year 2023 Quarter 1 January 0 0 0 0 0
February 0 0 0 0 0
March 0 0 0 1 1
Quarter 2 April 0 0 0 1 1
May 0 0 0 0 0
June 0 0 0 0 0
Quarter 3 July 0 0 0 0 0
August 0 0 0 1 1
September 0 0 0 4 4
Quarter 4 October 0 0 0 1 1
November 0 0 0 0 0
December 0 0 0 0 0
Year 2024 Quarter 1 January 0 0 0 0 0
February 0 0 0 0 0
March 0 0 0 0 0
Quarter 2 April 0 0 0 3 3
May 0 0 0 1 1
Total 0 0 0 18 18