Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
Бенджамін Азіз
2021
· 113 pp.
· Англійська
Середня: 0.00
| Автор | Бенджамін Азіз |
|---|---|
| Видавництво | Springer |
| Перекладачі | |
| Категорії: | Наука, Навчальна і довідкова |
| ISBN | 9783030911522 |
| Рік видання | 2021 |
| Мова | Англійська |
| Кількість сторінок | 113 |
0
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
0
