У нас вы можете посмотреть бесплатно "Let's Build a Symbolic Analyser And Automatically Find Bugs" - Jon Manning (PyCon AU 2019) или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Jon Manning Learn the theory and practice of symbolic analysis, a method of fake-running your code that lets you discover bugs and verify functionality without actually executing code, using Z3 and Python! https://2019.pycon-au.org/talks/lets-... PyCon AU, the national Python Language conference, is on again this August in Sydney, at the International Convention Centre, Sydney, August 2 - 6 2019. Video licence: CC BY-NC-SA 4.0 - https://creativecommons.org/licenses/... Python, PyCon, PyConAU Sun Aug 4 11:50:00 2019 at C3.6