Александр Сергеевич Кузнецов

Приведены сведения о семантике языков программирования и теории схем программ, даны основные понятия и определения теории параллельных процессов, их протоколов и интерфейсов, изложены принципы построения сетей Петри. Особое внимание уделено вопросам …

В монографии предложен комплекс математических моделей и алгоритмов анализа надежности программного обеспечения сложных систем с учетом их многоуровневости и распределенности архитектуры. Представлена система построения трансляторов мультисинтаксичес…