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