Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)

BRIM, Luboš and Isabelle LINDEN. Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko: Elsevier, 2006, 159 pp. ENTCS Volume 150, Issue 1. ISBN 1571-0661.

Basic information

Original name

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)

Name in Czech

Sborník, Prvni mezinarodni workshop "Metody a nastroje pro koordinujici soubezne, distribuovane a mobilni systemy"

Authors

BRIM, Luboš and Isabelle LINDEN

Edition

NIzozemsko, 159 pp. ENTCS Volume 150, Issue 1, 2006

Publisher

Elsevier

---

Other information

Language

English

Type of outcome

Odborná kniha

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

Organization unit

Faculty of Informatics

ISBN

1571-0661

Keywords in English

Concurrent; Distributed and Mobile Systems

Tags

Concurrent, Distributed and Mobile Systems

Tags

International impact

---

Abstract

V originále

This volume contains the preproceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems.

In Czech

Obsahem svazku je sborník seminare Metody a nastroje pro koordinujici soubezne, distribuovane a mobilni systemy

---

Links

GA201/06/1338, research and development project	Name: Automatizovaná verifikace softwaru Investor: Czech Science Foundation, Automated software verification
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems