Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»]
Методы формальной верификации программ : учеб.-метод. пособие для самостоят. работы [для студентов напр. подгот. 230100.68 «Информатика и вычислительная техника»] / Сиб. федерал. ун-т ; сост. Ю. В. Удалова. - Электрон. текстовые дан. (PDF, 162 Кб). - Красноярск : СФУ, 2013. - (Магистратура). - Загл. с титул. экрана. - Библиогр.: с. 10. - Изд. № 2013-155. - Текст : электронный. Страница публикации
Доступ к полному тексту публикации ограничен. Варианты получения доступа:
Если вы уже оплатили данную публикацию, то введите ниже полученные логин и пароль.