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