B 2006

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

BRIM, Luboš a Isabelle LINDEN

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

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

Příznaky

Mezinárodní význam
Změněno: 22. 11. 2006 11:25, prof. RNDr. Luboš Brim, CSc.

Anotace

ORIG CZ

V originále

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

Č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