СтудИзба » ВУЗы » МГУ им. Ломоносова » Файлы МГУ им. Ломоносова » 9 семестр » Формальная спецификация и верификация программ » Книги и методические указания » Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL
Для студентов МГУ им. Ломоносова 9 семестрa по предмету Формальная спецификация и верификация программ Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSLКузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL 2020-08-21 СтудИзба

Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL

Описание

Описание файла отсутствует

Список файлов в архиве

Комментарии

Сопутствующие материалы
Дата публикации 21 августа 2020 в 14:52
Рейтинг -
0
0
0
0
0
Автор Koala (- из 5)
Цена Бесплатно
Скачивания 1
Просмотры 19
Размер 143,76 Kb
Безопасность Файл был вручную проверен администрацией в том числе и на вирусы
Поделитесь ссылкой:
Свежие статьи
Популярно сейчас