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