Полное описание

Д10-14/13725
Яхонтов, С. В. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ : учеб. пособие / С. В. Яхонтов ; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. ун-та, 2014. - 146 с. : ил. - (Информационные технологии). - Библиогр.: с. 137-143 (97 назв.). - 230 экз. - ISBN 978-5-288-05544-7 : Б. ц. - Текст : непосредственный.

ГРНТИ	УДК
50.05.13	004.415.28
	004.415.5

Рубрики:
Программы для ЭВМ -- Спецификация
Программы для ЭВМ -- Верификация

Доп. точки доступа:
Санкт-Петербургский гос. ун-т

Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)

Заказать издание
Заказ фрагмента документа ₽