Tell your friends about this item:
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues Luis Caires 2007 edition
Price
$ 65.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping May 27 - Jun 8
Our customers say:
Add to your iMusic wish list
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Theoretical Computer Science and General Issues
Luis Caires
Thirty full papers are presented along with three important invited papers. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
510 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 22, 2007 |
| ISBN13 | 9783540744061 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 510 |
| Dimensions | 155 × 235 × 26 mm · 780 g |
| Editor | Caires, Luis |
| Editor | Vasconcelos, Vasco T. |
