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

    Decidability of Parameterized Verification - Igor Konnov
    Читать Decidability of Parameterized Verification - Igor Konnov

    Название: Decidability of Parameterized Verification

    Автор: Igor Konnov

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

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

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

    Подробнее