語系
Nipkow, Tobias, (1958-)
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Software safety and security = tools for analysis and verification /
by:
Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; NATO Emerging Security Challenges Division.; Grumberg, Orna.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Formal logical methods for system security and correctness
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Grumberg, Orna.; Pfaller, Christian.; Nipkow, Tobias, (1958-)
(書目-電子資源)