Languages
Grumberg, Orna.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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:)
(Electronic resources)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Grumberg, Orna.
(Electronic resources)
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-)
(Electronic resources)
Logics and languages for reliability and security
by:
Esparza, Javier.; Grumberg, Orna.; Spanfelner, Bernd.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Computer logic
Computer security
Computer systems- Reliability
Programming languages (Electronic computers)
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.