Browsing Datorzinātne. Informācijas tehnoloģijas by Subject "Семантика программ"
Now showing items 1-1 of 1
-
Теория алгоритмов и программ. Выпуск 3
(Латвийский государственный университет, 1977)Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.