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

BRIM, Luboš a 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 s. ENTCS Volume 150, Issue 1. ISBN 1571-0661.

Základní údaje

• Originální název: Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
• Název česky: Sborník, Prvni mezinarodni workshop "Metody a nastroje pro koordinujici soubezne, distribuovane a mobilni systemy"
• Autoři: BRIM, Luboš a Isabelle LINDEN.
• Vydání: NIzozemsko, 159 s. ENTCS Volume 150, Issue 1, 2006.
• Nakladatel: Elsevier

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Odborná kniha
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Nizozemské království
• Utajení: není předmětem státního či obchodního tajemství
• Organizační jednotka: Fakulta informatiky
• ISBN: 1571-0661
• Klíčová slova anglicky: Concurrent; Distributed and Mobile Systems
• Štítky: Concurrent, Distributed and Mobile Systems
• Příznaky: Mezinárodní význam

Anotace

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

Anotace česky

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

Návaznosti

• GA201/06/1338, projekt VaV: Název: Automatizovaná verifikace softwaru

Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru

• MSM0021622419, záměr: Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy