語系
Grumberg, Orna.
概要
作品: | 1 作品在 4 項出版品 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:)
(書目-電子資源)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Grumberg, Orna.
(書目-電子資源)
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-)
(書目-電子資源)
Logics and languages for reliability and security
by:
Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Computer logic
Computer security
Programming languages (Electronic computers)
Computer systems- Reliability
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Arithmetic and Logic Structures.
Computer software- Verification
Theory of Computation.