Для студентов МГУ им. Ломоносова по предмету Формальная спецификация и верификация программКузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSLКузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL
2020-08-212020-08-21СтудИзба
Книга: Кузьменкова Е. А., Петренко А. К. Практикум по формальной спецификации программ на языке RSL
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
МГУ им. ЛомоносоваПросмотров
20
Размер
143,76 Kb
Список файлов
Koala
21 августа 2020 в 14:52
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
