Формальная верификация функционально-потоковых параллельных программ.

Ушакова, Мария Сергеевна

View/Open:

09.06.01-05.13.11_ushakova_m.s._annotaciya.pdf.pdf (348.0 Kb)

URI (for links/citations):

https://elib.sfu-kras.ru/handle/2311/74734

Author:

Ушакова, Мария Сергеевна

Scientific Advisor:

Легалов, Александр Иванович

Corporate Contributor:

Институт космических и информационных технологий

Кафедра вычислительной техники

Date:

2018

Bibliographic Citation:

Ушакова, Мария Сергеевна. Формальная верификация функционально-потоковых параллельных программ. [Электронный ресурс] : аннотация научно-квалификационной работы (диссертации) : 09.06.01 / М. С. Ушакова. — Красноярск : СФУ, 2018.

Graduate Speciality:

09.06.01 Информатика и вычислительная техника

Graduate Program:

05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Academic Degree or Qualification:

Аспирант

Collections:

Аннотации научно-квалификационных работ (диссертаций) аспирантов [158]

Metadata:

Show full item record