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

Bibliografske podrobnosti
Glavni avtor:	Мордвинов Д. А. Дмитрий Александрович
Korporativna značnica:	Санкт-Петербургский государственный университет Кафедра системного программирования
Drugi avtorji:	Кознов Д. В. Дмитрий Владимирович (научный руководитель)
Izvleček:	Защита сост. 25.03.2021 г.
Jezik:	ruščina
Izdano:	Томск, [Б. и.], 2020
Teme:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

Opis
Fizični opis:	22 с. ил.
Izvleček:	Защита сост. 25.03.2021 г.

Podobne knjige/članki