Parallel and distributed methods in verification : 5th international workshop, PDMC´06, Bonn, Germany, August 31, 2006 : preliminary proceedings : affiliated to CONCUR 2006 /

Uloženo v:
Podrobná bibliografie
Korporativní autor: International workshop PDMC Bonn, Německo) (Autor)
Další autoři: Haverkort, Boudewijn (Editor), Pol, Jaco van de, 1969- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: [Bonn] : [s.n.], 2006
Témata:
paralelní programování
parallel programming
sborníky konferencí
proceedings of conferences
Obálka
Popis
Popis jednotky:Affiliated to CONCUR 2006.
Fyzický popis:vi, 94 s. : il.

Podobné jednotky