Можно ли доказывать правильность обычного бизнес-кода в .NET? Узнаем на митапе "Работа над ошибками"!
Марк Шевченко (Московский клуб программистов, Wildberries) расскажет об языке Coq и покажет, как доказать корректность бизнес-кода для .NET-проекта, приближаясь к созданию гарантированно правильного ПО.
🗓 16 июля (среда), 19:30 📍 Москва, Freedombar на Дизайн-Заводе "Флакон" (Большая Новодмитровская ул., 36 стр. 6)
напишите коммент
0 комментов
можете перейти, но сначала проверьте ссылку и будьте аккуратны: не вводите по ссылке пароли, номера телефонов и банковских карт, и другие личные данные
https://
уверены, что хотите выйти?
придется авторизоваться заново, а заполненные данные будут удалены
пост закреплён — пока закрепить можно только один пост
что-то пошло не так — попробуйте снова чуть попозже
