А. П. Ершова "Научные основы доказательного программирования" 1984г.
http://ershov.iis.nsk.su/ru/node/786816
Отредактировано Лис (2022-05-06 12:10:26)
ПО, ЭВМ и АСУ из Таможенного Союза |
Привет, Гость! Войдите или зарегистрируйтесь.
Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1984, Ершов А. П., "Научные основы доказательного программирования"
А. П. Ершова "Научные основы доказательного программирования" 1984г.
http://ershov.iis.nsk.su/ru/node/786816
Отредактировано Лис (2022-05-06 12:10:26)
Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » доказательное программирование » 1984, Ершов А. П., "Научные основы доказательного программирования"