формальные методы для нуба

что почитать в качестве более-менее мягкого введения новичка в формальные методы без привязки к ЯП? математический background у меня есть.

Подписался.

Сам читаю CPDT и SF (upenn.edu). Обе используют Coq.

anonymous
(24.06.15 10:45:35 MSK)

без привязки к ЯП

Без привязки к конкретным инструментам можно почитать, например, «Model Checking» Кларка сотоварищи. Есть на русском языке, читается довольно легко.

//алсо подпишусь на тему, да.

ymn ★★★★★
(24.06.15 11:02:22 MSK)

anonymous
(24.06.15 11:51:01 MSK)

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.

Похожие темы