![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | |
|---|---|---|---|---|
| Parent Directory | - | ||
| Задача 1 Дана explicit спецификация функции.doc | 14-Mar-2013 14:11 | 33K | |
| Задача 3 Даны две спецификации.doc | 14-Mar-2013 14:11 | 34K | |
| Задача 4 Yпростить выражения с каналом.doc | 14-Mar-2013 14:11 | 70K | |
| Задача 4 Yпростить выражения с каналом.pdf | 14-Mar-2013 14:11 | 466K | |
| Задача 5 Дать эквивалентное определение без использований вариантных определений.doc | 14-Mar-2013 14:11 | 39K | |
| Задача 5 Дать эквивалентное определение без использований вариантных определений.doc.SAVED | 14-Mar-2013 14:11 | 32K | |
| Задача 6 Построение uio последовательности.doc | 14-Mar-2013 14:11 | 66K | |
| Задача 7 Разбиение на классы состояний post.doc | 14-Mar-2013 14:11 | 76K | |
| Задача 8 Аналитическая верификация.doc | 14-Mar-2013 14:11 | 61K | |
| Задача 9 Построение обобщенного состояния для КА.doc | 14-Mar-2013 14:11 | 38K | |