|
|
Вид документа : Однотомное издание
Шифр издания : 519.179.2/J41
Автор(ы) : Jensen K., Kristensen L.M.
Заглавие : Coloured petri nets [Electronic resource]
: modelling and validation of concurrent systems
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00284-7: Б.ц.
ГРНТИ : 27.45.17 + 50.33.04
УДК : 519.179.2 + 004.272.2
Ключевые слова (''Своб.индексиров.''): сети петри--параллельные вычисления
См. : Текст издания
Доп.точки доступа:
Kristensen, L.M.; SpringerLink (Online service)
|
|