[Кларк, Грамберг, Пелед][2002] Верификация моделей программ (1161280)
Файл №1161280 [Кларк, Грамберг, Пелед][2002] Верификация моделей программ (Вся решённая практика за семестр)[Кларк, Грамберг, Пелед][2002] Верификация моделей программ (1161280)2019-09-192019-09-19СтудИзба
Не удалось обработать файл для онлайн показа, попробуйте скачать файл.Характеристики
Тип файла
DJVU-файл
Размер
4,6 Mb
Материал
Тип материала
Высшее учебное заведение
Тип файла DJVU
Этот формат был создан для хранения отсканированных страниц книг в большом количестве. DJVU отлично справился с поставленной задачей, но увеличение места на всех устройствах позволили использовать вместо этого формата всё тот же PDF, хоть PDF занимает заметно больше места.
Даже здесь на студизбе мы конвертируем все файлы DJVU в PDF, чтобы Вам не пришлось думать о том, какой программой открыть ту или иную книгу.
Список файлов лабораторной работы
Вся решённая практика за семестр
mc01
mc05
Task_5
model_assert.pml
pan.b
pan.c
pan.exe
pan.h
pan.m
pan.t
spec1.ltl
spec2.ltl
spec3.ltl
spec4.ltl
spec5.ltl
task5.pml
task5_check_1.pml
task5_check_2.pml
task5_check_3.pml
task5_check_4.pml
task5_check_5.pml
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
