Name: Application and Theory of Petri Nets and Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedi (en Inglés)
Price: 92.91 USD
Availability: InStock
Author: Khomenko, Victor ; Roux, Olivier H.
ISBN: 9783319912677

portada Application and Theory of Petri Nets and Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedi (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Khomenko, Victor ; Roux, Olivier H.

Idioma

Inglés

N° páginas

427

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.3 cm

Peso

0.61 kg.

ISBN13

9783319912677

Categorías

Algoritmos y estructuras de datos
Diseño y teoría de bases de datos
Arquitectura de la información

Application and Theory of Petri Nets and Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedi (en Inglés)

Khomenko, Victor ; Roux, Olivier H. (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 92.91

$ 142.94

Ahorras: $ 50.03

35% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Martes 23 de Julio y el Martes 06 de Agosto.

Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Application and Theory of Petri Nets and Concurrency: 39th International Conference, Petri Nets 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedi (en Inglés)"

This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2018. The 15 regular and 8 tool papers, with 1 invited talk presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Petri Nets Synthesis; Analysis and Model Checking; Languages; Semantics and Expressiveness; and Tools.