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