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

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

Коннов, И. В.
    Об одном подходе к верификации симметричных параметризованных распределенных систем [Текст] / И.В. Коннов // Програмирование. — 2005. — №5. — С. 3-18.

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

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

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



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