В теме одно сообщение

[dimon0981]

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

Может у кого есть, или кто знает где можно достать.
Готов купить в СПб (или Москва).
Заранее благодарен.

[rlabs]

http://chaconne.ru/?id=2154875