bokomslag CONCUR 2014  Concurrency Theory
Data & IT

CONCUR 2014 Concurrency Theory

Paolo Baldan University Of Roma &QuotLa Sapienza&Quot

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 594 sidor
  • 2014
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
  • Författare: Paolo Baldan, University Of Roma &QuotLa Sapienza&Quot
  • Format: Pocket/Paperback
  • ISBN: 9783662445839
  • Språk: Engelska
  • Antal sidor: 594
  • Utgivningsdatum: 2014-08-06
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K