Формальная спецификация и верификация. Задача о спящем парикмахере

Автор работы: Пользователь скрыл имя, 23 Декабря 2012 в 20:07, курсовая работа

Краткое описание

Программные системы в настоящее время присутствуют повсеместно: практически любые электронные устройства содержат программное обеспечение (ПО) того или иного вида. Без соответствующего программного обеспечения в современном мире невозможно представить индустриальное производство, школы и университеты, систему здравоохранения, финансовые и правительственные учреждения. Многие пользователи применяют ПО для самообразования, для развлечений и т.д.