Зведений каталог бібліотек Харкова

 

004.4
К 28Касьянов, В. Н.
    Оптимизиpующие пpеобpазования пpогpамм [Текст] / В.Н. Касьянов. — М. : Наука, 1988. — 336 с.


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

верифікація, верификация ; математичні моделі, математические модели, mathematical models ; оптимізація, оптимизация, optimization ; програмне забезпечення, ПЗ, программное обеспечение, ПО, software, Software, logiciel

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

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 5 Перейти на сайт