|
|
Пишет iskramivpeople (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} iskramivpeople) |
Если для вас не очевидно чем создание и верификация софта
отличаются от создания и доказательства математических
теорем, могу посоветовать классический блог пост из 2016
https://pron.github.io/posts/correctnes
там прям по полочкам разложено
отличаются от создания и доказательства математических
теорем, могу посоветовать классический блог пост из 2016
https://pron.github.io/posts/correctnes
там прям по полочкам разложено
Добавить комментарий:
