• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Семинар лаборатории ПОИС: «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ» // А. Каленкова

В понедельник (29 апреля) состоялось очередное заседание научного семинара лаборатории.

С докладом по теме  «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ»  выступила научный сотрудник МЛПОИС Анна Каленкова (к.ф.-м.н.).

подробнее...

В понедельник (29 апреля) состоялось очередное заседание научного семинара лаборатории.

С докладом по теме  «Алгоритм булевой верификации (АБВ) потоков работ. Эквивалентные преобразования потоков работ»  выступила научный сотрудник МЛПОИС Анна Каленкова (к.ф.-м.н.).

подробнее...