Перейти к содержимому

Фотография

Нужны книжки


  • Авторизуйтесь для ответа в теме
В теме одно сообщение

#1 dimon0981

dimon0981

    Новый участник

  • Members
  • Pip
  • 2 сообщений

Отправлено 10 декабря 2005 - 21:12

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

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

#2 rlabs

rlabs

    Специалист

  • Members
  • PipPipPipPipPip
  • 660 сообщений
  • Город:Россия, Санкт-Петербург

Отправлено 12 декабря 2005 - 09:40

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


Количество пользователей, читающих эту тему: 0

0 пользователей, 0 гостей, 0 анонимных