Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications Т. Г. Чурина. Чурина, Т. Г.. Новосибирск Ин-т систем информатики им. А. П. Ершова СО РАН 2000. купить

Регистрация

Вход

Изготовление электронных копий любых изданий

	Автор: Чурина, Т. Г.
	Книга ID: 609898 Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри = Coloured Petri nets approach to the validation of dynamic SDL-specifications Т. Г. Чурина Тематика, ключевые слова: Вычислительные машины электронные цифровые -- Языки программирования -- SDL. Сведения об издании: Новосибирск Ин-т систем информатики им. А. П. Ершова СО РАН 2000 35 с. 21 см Язык: rus	Цена не определена. Для уточнения: Написать в Telegram ИЛИ Написать в WhatsApp ИЛИ Написать на email [email protected]