CONCUR 2000 - Concurrency Theory

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

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

Szerző: Catuscia Palamidessi

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 776 Ft

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

Információk a könyvről

Szerző

Catuscia Palamidessi

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2000

oldal

613

EAN

9783540678977

ISBN

3540678972

Enbook ID

01567558

Kiadó

Springer, Berlin

Súly

875

Méretek

155 x 235 x 32

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

CONCUR 2000 - Concurrency Theory

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták