Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях = The category theoretical characterization of different equivalences for timed automata models / Н.С. Грибовская
Параллельное заглавие: : The category theoretical characterization of different equivalences for timed automata models, английскийЯзык: русский.Выходные данные: Новосибирск : Прайс-курьер, 2004Физическая характеристика: 38 с. : ил. ; 21 см.Серия: Препринт ; 119Примечания: Авт. также на англ. яз.: N.S. Gribovskaja.Библиография: Библиогр.: с.37-38 (13 назв.).Предметная рубрика - Тема: Параллельные вычислительные системы -- Теория | Параллельное программирование (компьют.) -- Математические основы Другие классификации: З973.202-01Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2005-4/38763 (Просмотр полки(Открывается ниже)) | 1398 | Доступно | 2016442 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2005-4/38763 (Просмотр полки(Открывается ниже)) | 1398 | Доступно | 2016447 |
Авт. также на англ. яз.: N.S. Gribovskaja
Библиогр.: с.37-38 (13 назв.)