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

Видеолекции по следующим разделам формальных методов:

Введение по курсу Формальных методов. Видео

Made with Mobirise site templates