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

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Непомнящий, В. А.
    На пути к верификации с программ. аксиоматическая сенимтика языка C-kernel. [Текст] / Институт систем информатики СО РАН // Программирование. — 2003. — С.65-80.

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

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

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних



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