Новый математический аппарат для анализа внешнего поведения и верификации программ / Н.А. Абрамова, Т.С. Баталина, Н.А. Гегамов, С.В. Коврига
Язык: русский.Выходные данные: М. : Ин-т проблем упр., 1998Физическая характеристика: 109 с. : ил. ; 20 см.Серия: Препринт Библиография: Библиогр.: с. 95-98.Предметная рубрика - Тема: Программы(компьют.) -- Верификация | Программирование(компьют.) Другие классификации: З973.2-018с11 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 99-3/2636 (Просмотр полки(Открывается ниже)) | Доступно | 24763-10 |
Библиогр.: с. 95-98