نتائج البحث - Grumberg, Orna

  • يعرض 1 - 4 نتائج من 4
تنقيح النتائج
  1. 1
    صورة الغلاف

    Logics and languages for reliability and security

    منشور في 2010
    مؤلفون آخرون: "…Grumberg, Orna…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  2. 2
    صورة الغلاف

    Software systems safety /

    منشور في 2014
    مؤلفون آخرون: "…Grumberg, Orna…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  3. 3
    صورة الغلاف

    Formal logical methods for system security and correctness

    منشور في 2008
    مؤلفون آخرون: "…Grumberg, Orna…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:
  4. 4
    صورة الغلاف

    Software safety and security tools for analysis and verification /

    منشور في 2012
    مؤلفون آخرون: "…Grumberg, Orna…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: