Моделирование спецификаций языка SDL с помощью модификационных ИВТ-сетей = Modeling SDL specifications using modified HTT-nets / Т. Г. Чурина, В. С. Аргиров
Параллельное заглавие: : z11790Modeling SDL specifications using modified HTT-nets, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Ин-т систем информатики им. А. П. Ершова СО РАН, 2005, ЗАО РИЦ Прайс-курьерФизическая характеристика: 62 с. : ил. ; 21 см.Серия: Препринт ; 124Примечания: Авт. также на англ. яз.: Tatyana G. Churina, Victor S. Argirov.Библиография: Библиогр.: с. 60-62 (22 назв.).Предметная рубрика - Тема: SDL, язык программирования | Петри сети Неконтролируемые предметные термины: Вычислительная техника -- Вычислительные машины электронные цифровые -- Языки программирования -- SDL Другие классификации: ( rubbk ) З973.2-018.19SDL,0 ; З973.202-018.1 Тип экземпляра: КнигаТип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
---|---|---|---|---|---|---|---|
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2006-4/4546 (Просмотр полки(Открывается ниже)) | Доступно | 2206439 | |||
Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 3этаж | 2006-4/4546 (Просмотр полки(Открывается ниже)) | 4208 | Доступно | 2132122 |
Авт. также на англ. яз.: Tatyana G. Churina, Victor S. Argirov
Сети Петри
Библиогр.: с. 60-62 (22 назв.)