Estatísticas para A Textbook of Verified OCaml Programs. A deductive study on algorithms and data structures
Total de visitas
| views | |
|---|---|
| A Textbook of Verified OCaml Programs. A deductive study on algorithms and data structures | 9 |
Total de visitas por mês
| views | |
|---|---|
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 0 |
| junho 2026 | 0 |
| julho 2026 | 6 |
| agosto 2026 | 3 |
Downloads
| views | |
|---|---|
| Gasparinho_2025.pdf | 36 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 7 |
| Austrália | 1 |
| Países Baixos | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Barreiro | 2 |
| Lavradio | 2 |
| Amora | 1 |
| Amsterdam | 1 |
| Cinco Ribeiras | 1 |
| Lisbon | 1 |