CONCUR 2000 - Concurrency Theory

Name: CONCUR 2000 - Concurrency Theory
Brand: Springer, Berlin
SKU: 9783540678977
Price: 100.03 EUR
Availability: InStock

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

Автор: Catuscia Palamidessi

Език:

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

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

100.03 € 195.64 лв

This book constitutes the refereed papers of the 11th International Conference on Concurrency Theory...

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

Автор

Catuscia Palamidessi

Език

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

Корици

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

Издадена

2000

страници

613

EAN

9783540678977

ISBN

3540678972

Enbook ID

01567558

Издател

Springer, Berlin

Теглоt

875

Размери

155 x 235 x 32

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

This book constitutes the refereed papers of the 11th International Conference on Concurrency Theory, CONCUR 2000, held in University Park, PA, USA in August 2000. The 34 revised full papes presented together with eight invited talks or tutorials were carefully reviewed and selected from 72 submissions. The papers address concurrency-related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

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

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

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

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