Kniha CONCUR 2009 - Concurrency Theory Mario Bravetti

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
2 567
This book constitutes the refereed proceedings of the 20th International Conference on Concurrency T...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2009
Stránek
638
EAN
9783642040801
ISBN
3642040802
Enbook ID
01650433
Hmotnost
929
Rozměry
155 x 235 x 28

Kompletní popis

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.§The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Mohlo by vás zajímat

1 314

In Another Time

Jillian Cantor
344

Inish Carraig

Jo Zebedee
294
506
749
267

Charles Sumner

Moorfield Storey
1 150
739

Zákaznicí kteří koupili tuto knihu koupili také

230

Das Kapital

Karl Marx
448

Die Reise nach Armenien

Ossip Mandelstam
319

LYS DANS LA VALLEE

Honoré de Balzac
170

Mujeres

Rosa Maria Belda Moreno
257