A formal approach to the error localization. = Формальный подход к локализации ошибок / A.V. Promsky
Параллельное заглавие: : z45790Формальный подход к локализации ошибок, русскийЯзык: английский ; резюме, русский.Выходные данные: Novosibirsk : A.P. Ershov institute of informatics systems, 2012Физическая характеристика: 32 с. : ил. ; 21 см.Серия: Preprint ; 169Примечания: На парал. тит. л. авт. на рус. яз.: А.В. Промский; Рез. на рус. яз..Библиография: Библиогр.: с. 31-32 (13 назв.).Предметная рубрика - Тема: Программы (компьют.) -- Верификация Другие классификации: З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2013-4/96 (Просмотр полки(Открывается ниже)) | 2087 | Доступно | 1-78708 |
На парал. тит. л. авт. на рус. яз.: А.В. Промский
Рез. на рус. яз.
Библиогр.: с. 31-32 (13 назв.)