Введение в Coq: формальные методы и зависимые типы, Часть VII

Организатор

Organizer

Московский клуб программистов

Register

Back to list

You might also like

Мультикластерность в действии: масштабируемая безопасность Kubernetes из одной точки

Умные финансы: как технологии работают на ваш департамент

Лично с Сергеем Глазьевым и Михаилом Делягиным

All events

Subscribe now