Опис документа:
| |
Автор: | Панченко Т.В. |
Назва: | Метод доведення властивостей програм в композиційно-номінативних мовах IPCL |
Рік: | 2008 |
Сторінок: | С. 3-16. |
Тип документу: |
Стаття |
Головний документ: |
Проблеми програмування: науковийжурнал / НАНУ, Ін-т програмних систем. - Київ, 2008 |
Пошук: заповніть хоча б одне з полів
|
|