Program Proofs
К. Рустан М. Лейно, Калеб Лейно
2023
· 496 pp.
· Англійська
Середня: 0.00
| Автори | К. Рустан М. Лейно, Калеб Лейно |
|---|---|
| Видавництво | MIT Press Ltd |
| Перекладачі | |
| Категорії: | Технології та ІТ |
| ISBN | 9780262546232 |
| Рік видання | 2023 |
| Мова | Англійська |
| Кількість сторінок | 496 |
0
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
0
