Для студентов МГУ им. Ломоносова по предмету Формальная спецификация и верификация программЕ.А. Кузьменкова, А.К. Петренко - практикум на языке RSL.pdfЕ.А. Кузьменкова, А.К. Петренко - практикум на языке RSL.pdf
2020-08-212020-08-21СтудИзба
Книга: Е.А. Кузьменкова, А.К. Петренко - практикум на языке RSL.pdf
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Просмотров
22
Размер
476,03 Kb