|
MFI6270/1-3 Drielsma, Paul D. Hankes. Building formal models of next- generation security [Text] : diss. / P. D. Drielsma ; Swiss Federal institute of technology Zürich. - Zürich : [б.в.], 2007. - 155 p. - (ETH-Diss ; 17218) 2 mfisheРубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Swiss Federal institute of technology Zürich
Видання зберігається у :
|
|