Siirry suoraan sisältöön
CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
Tallenna

CONCUR 2011 -- Concurrency Theory

Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, p-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
Alaotsikko
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
ISBN
9783642232176
Kieli
englanti
Julkaisupäivä
27.8.2011
Formaatti
  • PDF - Adobe DRM
Lue e-kirjoja täällä
  • Lue e-kirja mobiililaitteella/tabletilla
  • Lukulaite
  • Tietokone