Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

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


Варианты приобретения
Цена: 9141.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 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.



ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия