Igor Konnov

Список книг автора Igor Konnov
1

Decidability of Parameterized Verification

Скачать Decidability of Parameterized Verification - Igor Konnov
Название
Decidability of Parameterized Verification
Автор:
Igor Konnov
Серия:
Synthesis Lectures on Distributed Computing Theory
Жанр:
Компьютеры: прочее
1