LINUX.ORG.RU

Подписался.

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

anonymous ()

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

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

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

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