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 | 3 |
Total de visitas por mês
| views | |
|---|---|
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 0 |
| junho 2026 | 0 |
| julho 2026 | 3 |
Downloads
| views | |
|---|---|
| Gasparinho_2025.pdf | 6 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 3 |
Top de consultas por cidade
| views | |
|---|---|
| Barreiro | 2 |
| Amora | 1 |