語系
Ganty, Pierre.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
Ganty, Pierre.; Loreti, Michele.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Computer software- Validation
Information Systems Applications (incl. Internet)
Computer networks- Security measures
Computer security
Computer software- Verification
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.