|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Верификация программ методом Model Checkingкнига
- Автор: Миронов А.М.
- Год издания: 2012
- Место издания: Москва
- Объём: 84 страниц
- Учебное пособие без грифа
- Аннотация: http://intsys.msu.ru/staff/mironov/modelchk.pdf
- Добавил в систему: Миронов Андрей Михайлович