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

Регистрация

Вход

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

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