Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Simulation-based checking of Java concurrent programs : doctoral thesis
Autor Kačer, Jaroslav, 1978- Vydáno: 2005
Rukopis