Вид документа : Однотомное издание Шифр издания : 31/А-45 Заглавие : Алгоритмическое и программное обеспечение прикладного статического анализа Выходные данные : М.: Наука, 1980 Колич.характеристики :420 с Цена : 3.00 р. УДК : 31 Ключевые слова (''Своб.индексиров.''): программа--обеспечение--прикладной--статический--анализ--алгоритм Экземпляры :(1) Свободны : (1)