Практикум по дедуктивной верификации программ: Учебно-методическое пособие. / Буздалов Д. В., Корныхин Е. В., Панферов А. А., Петренко А. К., Хорошилов А. В. — Москва: Факультет вычислительной математики и кибернетики МГУ, Москва: Издательство "МАКС Пресс", 2014 — 98 с., ил. Библ.: 6 — русский рез. английский. Учебник; Российская Федерация; ISBN 978-5-89407-531-0 |