Публикации
Не указал
Немогу достать книги по формальной верификации программ:
1. "Верификация моделей программ: Model Checking" (пер. с англ. Захарова В., Кончакова Р., Царькова Д. под ред. Смелянского Р.)
2. Непомнящий В.А, Рякин О.М. "Прикладные методы верификации программ". М.: Радио и связь 1988
Может у кого есть, или кто знает где можно достать.
Готов купить в СПб (или Москва).
Заранее благодарен.
- Форум тестировщиков
- → Просмотр профиля: Темы: dimon0981
