task5_check_4_ver_out (1161259)
Файл №1161259 task5_check_4_ver_out (Вся решённая практика за семестр)task5_check_4_ver_out (1161259)2019-09-192019-09-19СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!
Характеристики
Тип файла
Текстовый файл
Размер
1,17 Kb
Материал
Тип материала
Высшее учебное заведение
Текстовый файл
Текстовые документы являются наиболее простыми из всех, ведь хранить могут только текст и ничего более. Но и у них есть небольшая проблема - разные системы сохраняют файлы в разных кодировках, из-за чего иногда вместо текста можно увидеть иероглифы и другие непонятные символы. Впрочем современные приложения легко определяют кодировку, поэтому проблема встречается всё реже.
Несмотря на свою простоту, именно этот формат широко применяется для хранения простой текстовой информации, так как не содержит ничего лишнего. Например, его используют для хранения логов, а также для написания файлов ReadMe, с инструкцией, так как текстовый формат откроется на любом компьютере и устройстве, даже если ему 50 лет.
Список файлов лабораторной работы
Вся решённая практика за семестр
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}
