"Автоматизированный логико-вероятностный расчет надежности технических систем Лабораторный практикум" - читать интересную книгу автора (Владов)