Name: Polynomial Translation of Mobile Ambients into Safe Petri Nets
Price: 557.95 DKK
Availability: InStock
Author: Susanne Goebel
ISBN: 9783658117641

Polynomial Translation of Mobile Ambients into Safe Petri Nets af Susanne Goebel

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
557,95 kr.

Bag om Polynomial Translation of Mobile Ambients into Safe Petri Nets

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.

Vis mere

Sprog:
Engelsk

ISBN:
9783658117641

Forlag:
Springer

Indbinding:
Paperback

Sideantal:
66

Udgivet:
23. januar 2016

Udgave:
12016

Størrelse:
151x210x11 mm.

Vægt:
118 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

557,95 kr. + Fragt
~~557,95 kr.~~

Abonnementspris

553,95 kr.

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Susanne Goebel

Vis alle bøger af Susanne Goebel

Beskrivelse af Polynomial Translation of Mobile Ambients into Safe Petri Nets

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.

Brugerbedømmelser af Polynomial Translation of Mobile Ambients into Safe Petri Nets

Andre købte også..

Find lignende bøger

Bogen Polynomial Translation of Mobile Ambients into Safe Petri Nets findes i følgende kategorier:

Business og læring > Computer og IT