Compositionality, concurrency and partial correctness. Proof teories for networks of processing and their relationship

Podrobná bibliografia
Hlavní autori:	Hromkovič, Juraj, 1958- (Autor), Zwiers, Job (Autor)
Médium:	Článok
Jazyk:	angličtina
Predmet:	programy počítačové paralelné články z novín a časopisov

Popis
Žiadný popis.

Podobné exempláre