Зведений каталог бібліотек Києва

 

А
153557Россада, Тетяна Володимирівна.
    Формалізація, дослідження та застосування методів номінації у мовах специфікації програм [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Россада Тетяна Володимирівна ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. — Київ, 2013. — 18 с.


- Ключові слова:

мова специфікації (та програмування) SiCoN, язык спецификации (и программирования) SiCoN ; мови програмування, языки программирования, computer program language

- Теми документа

  • ББК науковий // Мови програмування



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник 1 Перейти на сайт