Панченкотв Панченко, Т. В.     Метод доведення властивостей програм в композиційно-номінативних мовах IPCL [Текст] / Т.В. Панченко // Проблеми програмування ; НАНУ, Ін-т програмних систем - Київ , 2008. — С. 3-16.

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