Обычный вид MARC21 Карточка
Препринт

Препринты ИПМ им.М.В.Келдыша. - 1983. № 84. Алгоритмы частичной верификации программы на ЯСП и их оценки / К. Н. Ефимкин, И. Б. Задыхайло, С. П. Пименов, А. А. Шарипбаев

Другие авторы: Сводное описание: Препринты ИПМ имМВКелдыша - 1983Язык: Русский Выходные данные: 1983ISSN:
  • 2071-2898 (Print)
  • 2071-2901 (Online)
Серия: Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
Тип экземпляра: Препринт
Нет реальных экземпляров для этой записи