Нет в продаже
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Сергей Яхонтов
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы...
