Igor Konnov

Decidability of Parameterized Verification

Информация о книге:

Автор книги: Igor Konnov

Жанр: Компьютеры: прочее

Издательство: Ingram

Серия: Synthesis Lectures on Distributed Computing Theory

Год издания: 0

isbn: 9781627057448

Аннотация:

Скачать книгу
Читать онлайн книгу Decidability of Parameterized Verification