Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри

Разработка языков описания и изучения параллельной структуры управления. Анализ преимуществ структурированного и модульного программирования. Совершенствование методов компаративной семантики. Программная реализация компонента транслятора языка Барс.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.