CONCUR 2000 - Concurrency Theory

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

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

Autor: Catuscia Palamidessi

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

551.47 lei

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

Informații despre carte

Autor

Catuscia Palamidessi

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2000

Pagini

613

EAN

9783540678977

ISBN

3540678972

Enbook ID

01567558

Editura

Springer, Berlin

Greutate

875

Dimensiuni

155 x 235 x 32

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

CONCUR 2000 - Concurrency Theory

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și