Аффинное представление данных для проверки моделей программ = Affine representation of data for model checking / Н.О. Гаранина
Параллельное заглавие: : z55790Affine representation of data for model checking, английскийЯзык: русский.Выходные данные: Новосибирск : Б.и., 2004Физическая характеристика: 48 с. : ил. ; 21 см.Серия: Препринт ; 116Примечания: Авт. также на англ. яз.: Natalya O. Garanina.Библиография: Библиогр.: с. 48 (12 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация Другие классификации: З973.2-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2004-4/31702 (Просмотр полки(Открывается ниже)) | Доступно | 1-2040583 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2004-4/31702 (Просмотр полки(Открывается ниже)) | Доступно | 813644 |
Авт. также на англ. яз.: Natalya O. Garanina
Библиогр.: с. 48 (12 назв.)