Как стать автором
Обновить

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Время на прочтение10 мин
Количество просмотров6.1K
Всего голосов 17: ↑13 и ↓4+9
Комментарии3

Комментарии 3

Вот это уже интересно, спасибо!
Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации