Методы теоретического, и системного программирования | Книга б/у

Обратите внимание, что вы покупаете букинистическую книгу в магазине "Библиофан". Мы прилагаем максимальные усилия, чтобы предоставить актуальное состояние каждой книги на фотографиях. Таким образом, вы получите именно тот экземпляр, который видите на фото. Описание: Сборник научных трудов Института систем информатики СО АН СССР, посвященный методам теоретического и системного программирования. В сборнике представлены статьи, отражающие теоретические и прикладные исследования в области логических спецификаций информационных и программных технологий и моделей системного программирования. Материалы сборника будут полезны для научных сотрудников, аспирантов, студентов, деятельность которых связана с современными вычислительными системами и программным обеспечением.