Gobel, Susanne Polynomial translation of mobile ambients into safe petri nets 9783658117641

Варианты приобретения

Цена: 60940.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: 254 шт.
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Gobel, Susanne
Название: Polynomial translation of mobile ambients into safe petri nets
ISBN: 9783658117641
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

Алгоритмы и структуры данных

Компьютерные сети и коммуникации

ISBN-10: 3658117648
Обложка/Формат: Paperback
Страницы: 75
Вес: 0.12 кг.
Дата издания: 23.01.2016
Серия: Bestmasters
Язык: English
Иллюстрации: 15 colour illustrations, biography
Размер: 151 x 210 x 11
Читательская аудитория: Professional & vocational
Подзаголовок: Understanding a calculus of hierarchical protection domains
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The master thesis of Susanne Gobel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes.

Polynomial translation of mobile ambients into safe petri nets, Gobel, Susanne