Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Публикации с тегом логика Хоара
Формальная верификация на примере задачи о волке, козе и капусте +27
Почему люди не используют формальные методы? +29
Руководство для практикующего специалиста, как читать научные статьи по языкам программирования +24
- Программирование
- Математика
- Профессиональная литература
- Семантика
- Терминология IT
- Учебный процесс в IT
