Raymon Devillers, Raymond Devillers, Valmari, Valmari, Antti Valmari - Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Scrivi la tua prima recensione!

CHF 70.00

Raymon Devillers, Raymond Devillers, Valmari, Valmari, Antti Valmari

Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Inglese · Tascabile

Spedizione di solito entro 6 a 7 settimane

Descrizione

Ulteriori informazioni

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.

The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.

Riassunto

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015.
The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.

Dettagli sul prodotto

Con la collaborazione di Raymond Devillers (Editore), Antti Valmari (Editore), Raymon Devillers (Editore), Valmari (Editore), Valmari (Editore)
Editore Springer, Berlin
 
Contenuto Libro
Forma del prodotto Tascabile
Data pubblicazione 01.01.2015
Categoria Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica
 
EAN 9783319194875
ISBN 978-3-31-919487-5
Numero di pagine 351
Illustrazioni X, 351 p. 129 illus.
Dimensioni (della confezione) 15.8 x 23 x 2 cm
Peso (della confezione) 552 g
 
Serie Lecture Notes in Computer Science > 9115
Theoretical Computer Science and General Issues
Lecture Notes in Computer Science
Theoretical Computer Science and General Issues
Categorie C, Software Engineering, Compiler und Übersetzer, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Stochastic Processes, Computer Science Logic and Foundations of Programming, Compilers and Interpreters, verification by model checking
 

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.