A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters - Susanne Goebel - Libros - Springer - 9783658117641 - 28 de enero de 2016
En caso de que portada y título no coincidan, el título será el correcto

Susanne Goebel
A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains - BestMasters 1st ed. 2016 edition

Precio
Mex$ 993
sin IVA

Pedido desde almacén remoto

Entrega prevista 9 - 19 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Susanne Goebel

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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.

66 pages, 15 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de enero de 2016
ISBN13 9783658117641
Editores Springer
Páginas 66
Dimensiones 210 × 151 × 11 mm   ·   113 g
Lengua Alemán  

Más del mismo editor

Ver todo de Susanne Goebel