1. Электронная библиотека БГУ
2. Факультет прикладной математики и информатики
3. Специальность «Информатика»
4. Цикл дисциплин профилизаций_ИНФ
5. Профилизация «Технологии разработки сложных информационных систем»
6. Формальная семантика и верификация программ

No Entries in Index

There are no entries in the index for Collection "Формальная семантика и верификация программ".

Формальная семантика и верификация программ