Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Arvutid / Käsiraamatud / Polynomial Translation of Mobile Ambients into Safe Petri Nets

Raamat

Polynomial Translation of Mobile Ambients into Safe Petri Nets

Autor: Susanne Gobel

* * * * * * * * * * Loe arvustusi (0)

86.31 81.99 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: reede 24.08

Sisukirjeldus

The master thesis of Susanne Goebel 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.

Lisainfo
ISBN 9783658117641
Ilmumisaasta 2016
Keel ingliskeelne
Formaat Pehmekaaneline
Lehekülgi 66 lk
Kirjastus Springer Fachmedien Wiesbaden
Sari BestMasters
Lisamise aeg: 13.03.2017

86.31 81.99 €Toodet on alles vähem kui 10 eksemplari!

Kaup kätte: Kiirtellimusega: reede 24.08

Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.