Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Polynomial Translation of Mobile Ambients into Safe Petri Nets - Susanne Goebel - Bog
- Understanding a Calculus of Hierarchical Protection Domains
indgår i BestMasters serien
- Indbinding:
- Paperback
- Sideantal:
- 66
- Udgivet:
- 23. januar 2016
- Udgave:
- 12016
- Størrelse:
- 151x210x11 mm.
- Vægt:
- 118 g.
- 8-11 hverdage.
- 13. december 2024
På lager
Forlænget returret til d. 31. januar 2025
Normalpris
-
BLACK WEEK
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Polynomial Translation of Mobile Ambients into Safe Petri Nets findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
