УДК: 519.712
Применение модальных логик к спецификации и верификации программ
Попов В.Б., Анафиев А.С.
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Математична кібернетика
Теорія керуючих систем:математичні аспекти
21.04.2008 --
Складова частина документу
Наукове
видання
Мова:rus
Назва головного документа :
Динамические системы
Дата видання головного документа :
2000
Номер частини головного документа : №16
Загальні зауваження :
http://ebooks.zsu.zp.ua/files/CD/2007/dynam_sys/2000_16/popo
v.pdf
Дата внесення :
21.04.2008
Переглядів: 0
Популярність: 0%
