Decidability of Parameterized Verification. Igor KonnovКомпьютеры: прочее. Synthesis Lectures on Distributed Computing Theory
- Название
- Decidability of Parameterized Verification
- Автор:
- Igor Konnov
- Серия:
- Synthesis Lectures on Distributed Computing Theory
- Жанр:
- Компьютеры: прочее
- Год выпуска:
- 0
- isbn:
- 9781627057448
- Аннотация: