MFI3614/2
Meier, David.
Progress properties in program refinement and parallel composition [Text] : diss. / D. Meier ; Swiss Federal institute of technology Zürich. - Zürich : [б.в.], 1997. - 135 p.: fig. - (Diss ETH ; 12010)
2 mfishe

Рубрикатор НБУВ:
 з970.21-018 
Тематичні рубрики:
 Паралельне програмування 


Дод. точки доступу:
Swiss Federal institute of technology Zürich

Видання зберігається у :