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

Bibliographic Details
Main Author:	Мордвинов Д. А. Дмитрий Александрович
Corporate Author:	Санкт-Петербургский государственный университет Кафедра системного программирования
Other Authors:	Кознов Д. В. Дмитрий Владимирович (727)
Summary:	Защита сост. 25.03.2021 г.
Language:	Russian
Published:	Томск, [Б. и.], 2020
Subjects:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

Similar Items