Model Checking. Верификация параллельных и распределенных программных систем
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 (+ CD)
Теория автоматов
Теория и технология программирования. Основы построения трансляторов
Теория и технология программирования. Основы построения трансляторов. Гриф УМО университетов РФ
© 2009-2024, Список Литературы