Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Статті, доповіді, тези- результати пошуку

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Пошуковий запит: <.>K=безопасность языков программирования<.>
Загальна кількість знайдених документів : 1
1.


   
    Переглянуто надійність і безпека мови програмування "Ада" // Стандартизація. Сертифікація. Якість : науково-технічний журнал. - 2013. - № 1. - С. 30. - В ОБЛ. БІБЛІОТЕКІ
УДК
658.516
ББК 30ц
Рубрики: Техника
   Стандартизация. Контроль качества
   Техніка
   Стандартизація. Контроль якості
Кл.слова (ненормовані):
стандартизація -- стандартизация -- мова програмування -- языки программирования -- Ада -- безпека мов програмування -- безопасность языков программирования -- контрактне програмування -- контрактное программирование
Анотація: Розглядається надійність і безпека мови програмування "Ада".

Утримувачі документа:
НТБ НТУ "ХПІ"

Дод.точки доступу:
ISO/IEK 8652:2012 "Інформаційні технології. Мови програмування Ada" \о произв.\; Інформаційні технології. Мови програмування AdaISO/IEK 8652:2012 \о произв.\

Знайти схожі
 
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)