Friedman, Daniel P. The little prover / Daniel P. Friedman, Carl Eastlund; drawings by Duane Bibby; foreword by J Strother More; afterword by Matthias Felleisen. — Cambridge, Massachusetts; London, England: MIT Press, 2015. — 1 PDF (xiii, 229 p.). — Доступ по паролю из сети Интернет (чтение, печать). — Mode of access: World Wide Web. — <URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537>. — Текст: электронный
| Period | Read | Copy | Open | Total | |
|---|---|---|---|---|---|
| Yesterday | 0 | 0 | 0 | 0 | 0 |
| Last 30 days | 0 | 0 | 0 | 2 | 2 |
| Last 365 days | 0 | 0 | 0 | 7 | 7 |
| All time | 0 | 0 | 0 | 14 | 14 |