Grumberg, Orna.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal logical methods for system security and correctness
by:
Grumberg, Orna.; Nipkow, Tobias, (1958-); Pfaller, Christian.
(書目-語言資料,印刷品)
Computer aided verification = 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
by:
SpringerLink (Online service); CAV (Conference) (1997 :); Grumberg, Orna.
(書目-語言資料,印刷品)
Logics and languages for reliability and security
by:
Esparza, Javier.; Spanfelner, Bernd.; Grumberg, Orna.
(書目-語言資料,印刷品)
Software safety and security = tools for analysis and verification /
by:
Nipkow, Tobias, (1958-); Grumberg, Orna.; NATO Emerging Security Challenges Division.; Hauptmann, Benedikt.
(書目-電子資源)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
Grumberg, Orna.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Integrated circuits- Verification
Computer systems- Reliability
Logics and Meanings of Programs.
Electronic digital computers- Evaluation
Programming languages (Electronic computers)
Computer logic
Computer security
Computer Science.
Arithmetic and Logic Structures.
Computer software- Verification