Decidability of Parameterized Verification

Автор книги: Igor Konnov id книги: 1573101     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 4917,28 руб.     (55,56$) Купить и читать книгу Купить бумажную книгу Электронная книга Жанр: Компьютеры: прочее Правообладатель и/или издательство: Ingram Дата добавления в каталог КнигаЛит: 21 июня 2020, 11:20 ISBN: 9781627057448 Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.