Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем....

Учебник создан в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки 230100 \\\"Информатика и вычислительная техника\\\", 010400 \\\"Прикладная математика и информатика\\\", 230700 \\\"Прикладная информатика\\\", 090900 \\\"Информационная безопасность\\\" (квалификация \\\"бакалавр\\\")....

Изложены основные принципы организации современных операционных систем (ОС) на примере ОС UNIX и Windows. Рассмотрены методы и языковые средства для работы с основными объектами, находящимися под управлением ОС: файлами, заданиями, пользователями, процессами. Значительное внимание уделено вопросам обеспечения межпроцессного взаимодействия....

Изложены основные принципы организации современных операционных систем (ОС) на примере ОС UNIX и Windows. Рассмотрены методы и языковые средства для работы с основными объектами, находящимися под управлением ОС: файлами, заданиями, пользователями, процессами. Значительное внимание уделено вопросам обеспечения межпроцессного взаимодействия....

Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем....