• ВХОД
  •  

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

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

    ГРНТИ УДК
    50.05.13004.415.28
    004.415.5

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

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

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-14/13725)

    Шифр в сводном ЭК: 8196e9e217346927ce2caad24743af7f



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