Автор:Кларк Э.М., Грамберг О., Пелед Д. Год: 2002 Издание:
МЦНМО Страниц: 416 ISBN: 5940570542, 9785940570547 В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.