CONCUR 2011 -- Concurrency Theory

Name: CONCUR 2011 -- Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642232169
Price: 58.34 EUR
Availability: InStock

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Автор: Joost-Pieter Katoen, Barbara König

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: 50% вероятност

Ще претърсим света

58.34 € 114.11 лв

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency T...

Информация за книгата

Автор

Joost-Pieter Katoen, Barbara König

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

560

EAN

9783642232169

ISBN

3642232167

Enbook ID

01658622

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

856

Размери

155 x 235 x 30

Пълно описание

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, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

CONCUR 2011 -- Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също