| ЭБС Biblioclub |
Электронный |
Яхонтов С. В. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ / С.В. Яхонтов - Санкт-Петербург: Издательство Санкт-Петербургского Государственного Университета, 2014. - 146 с. |
2014 |
Ссылка
|
| ЭБС Biblioclub |
Электронный |
Коробова Л. А. Программные математические комплексы: учебное пособие / Л. А. Коробова, С. Н. Черняева, И. Е. Медведкова; Воронежский государственный университет инженерных технологий - Воронеж: Воронежский государственный университет инженерных технологий, 2014. - 67 с. |
2014 |
Ссылка
|
| ЭБС Biblioclub |
Электронный |
Программные продукты и системы: журнал / гл. ред. С. В. Емельянов; Научно-исследовательский институт «Центрпрограммсистем» - Тверь: Центрпрограммсистем, 2015. - 268 с. |
2015 |
Ссылка
|
| ЭБС Biblioclub |
Электронный |
Губарев В. В. Введение в облачные вычисления и технологии: учебное пособие / В. В. Губарев, С. А. Савульчик, Н. А. Чистяков; Новосибирский государственный технический университет - Новосибирск: Новосибирский государственный технический университет, 2013. - 48 с. |
2013 |
Ссылка
|