© Copyright 2021 Институт Систем Информатики СО РАН, Новосибирский Государственный Университет.

Автоматное программирование. Система Event-B. Видео и слайды лекций:


Website was built with Mobirise