|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
345694 |
| 005 |
20231102005813.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\book\377547
|
| 090 |
|
|
|a 345694
|
| 100 |
|
|
|a 20210210d2020 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a dm 001zy
|
| 200 |
1 |
|
|a Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями
|e автореферат диссертации на соискание ученой степени кандидата физико-математических наук
|e спец. 05.13.11
|f Д. А. Мордвинов
|g Санкт-Петербургский государственный университет, Кафедра системного программирования ; науч. рук. Д. В. Кознов
|
| 210 |
|
|
|a Томск
|c [Б. и.]
|d 2020
|
| 215 |
|
|
|a 22 с.
|c ил.
|
| 300 |
|
|
|a Защита сост. 25.03.2021 г.
|
| 320 |
|
|
|a Библиогр.: с. 22 (7 назв.)
|
| 606 |
1 |
|
|a Дизъюнкт Хорна
|2 stltpush
|3 (RuTPU)RU\TPU\subj\51241
|9 69844
|
| 610 |
1 |
|
|a синтаксис
|
| 610 |
1 |
|
|a семантика
|
| 610 |
1 |
|
|a императивные программы
|
| 610 |
1 |
|
|a индуктивные инварианты
|
| 610 |
1 |
|
|a синхронизирующие преобразования
|
| 610 |
1 |
|
|a реляционные сертификаты выполнимости
|
| 610 |
1 |
|
|a автоматический вывод
|
| 610 |
1 |
|
|a авторефераты диссертаций
|
| 675 |
|
|
|a 004.422.55(04)
|v 4
|
| 686 |
|
|
|a 05.13.11
|2 oksvnk
|
| 700 |
|
1 |
|a Мордвинов
|b Д. А.
|g Дмитрий Александрович
|
| 702 |
|
1 |
|a Кознов
|b Д. В.
|g Дмитрий Владимирович
|4 727
|
| 712 |
0 |
2 |
|a Санкт-Петербургский государственный университет
|b Кафедра системного программирования
|c (1991- )
|2 stltpush
|3 (RuTPU)RU\TPU\col\62
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20210210
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20210310
|g RCR
|
| 942 |
|
|
|c BK
|
