А. П. Ершова "Научные основы доказательного программирования" 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, Ершов А. П., "Научные основы доказательного программирования"