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

 

ТерещенковТерещенко, В. М.
    Автоматичний аналіз властивостей програмного коду на прикладі розв"язання задач обчислювальної геометрії [Текст] / В.М. Терещенко, Є.О. Чернишов // Вісник Київського університету. — Київ, 2000. — 2000. — С. 311-315.


- Анотація:

Дана робота присвячена розробці та побудові комплексу інструментальних засобів для дослідження та аналізу користувацьких програм, визначенню основних характеристик ефективності та коректності їх виконання.

Ключові слова: задача, програма, код, компілятор.

This work observes the development process of instruments for research and analysis user programs, determining speed properties and proofing.

Key Words: task, program, code, compiler.

- Є складовою частиною документа:

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

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



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