Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11

Библиографические подробности
Главный автор:	Мордвинов Д. А. Дмитрий Александрович
Автор-организация:	Санкт-Петербургский государственный университет Кафедра системного программирования
Другие авторы:	Кознов Д. В. Дмитрий Владимирович (научный руководитель)
Примечания:	Защита сост. 25.03.2021 г.
Язык:	русский
Опубликовано:	Томск, [Б. и.], 2020
Предметы:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
Формат:	Книга
Запись в KOHA:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

Схожие документы