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