Главная Настройка Mobile Контакты NSFW Каталог Пожертвования Купить пасскод Pics Adult Pics API Архив Реквест доски Каталог стикеров Реклама
Доски


[Ответить в тред] Ответить в тред

Check this out!


[Назад][Обновить тред][Вниз][Каталог] [ Автообновление ] 0 | 1 | 0
Назад Вниз Каталог Обновить

Господа программисты, а посоветуйте, пожалуйста, Аноним 23/08/17 Срд 20:33:47 1049794  
200px-dragoncom[...].jpg (17Кб, 200x280)
Господа программисты, а посоветуйте, пожалуйста, годных книг на тему формальных методов анализа программ.
Абстрактная интерпретация, data/control-flow анализ, model checking вот это вот всё. Лучше на английском.

[Назад][Обновить тред][Вверх][Каталог] [Реквест разбана] [Подписаться на тред] [ Автообновление ] 0 | 1 | 0
Назад Вверх Каталог Обновить

Топ тредов
Избранное
Подписывайся на официальный канал Двача в Телеграме и узнавай обо всех новостях и мемах первым! https://tlg.wtf/dvachannel[X]