Grumberg, Orna.

概要

作品:	1 作品在 0 項出版品 0 種語言

書目資訊

Logics and languages for reliability and security by: Grumberg, Orna.; Spanfelner, Bernd.; Workshop on the Preservation of Stability under Discretization ((2001 :); Esparza, Javier. (書目-語言資料,印刷品)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: SpringerLink (Online service); Grumberg, Orna. (書目-語言資料,印刷品)

Software safety and security = tools for analysis and verification / by: NATO Emerging Security Challenges Division.; Workshop on the Preservation of Stability under Discretization ((2001 :); Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; Grumberg, Orna. (書目-語言資料,印刷品)

主題

Theory of Computation. Computer Science. Logics and Meanings of Programs. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Computer security Computer logic Computer systems Programming languages (Electronic computers) Arithmetic and Logic Structures. Computer software