Decidability of Parameterized Verification. Igor Konnov и др.
![Купить Decidability of Parameterized Verification](https://partnersdnld.litres.ru/pub/c/cover_330/55707315.jpg)
- Тип: Текст PDF
- Авторы:
- Издательство: Ingram(2020)
- Серия: Synthesis Lectures on Distributed Computing Theory
- ISBN: 9781627057448
- Страниц: 17
3340.78 руб.
Отложить
- Фрагмент