Tallenna
CONCUR 2007 - Concurrency Theory
e-kirja, 2007
englanti
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 volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
- Alaotsikko
- 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
- Toimittaja
- Luis Caires, Vasco T. Vasconcelos
- ISBN
- 9783540744078
- Kieli
- englanti
- Julkaisupäivä
- 19.8.2007
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
