Kết quả tìm kiếm - Grumberg, Orna

  • Đang hiển thị 1 - 4 kết quả của 4
Tinh chỉnh kết quả
  1. 1
    Ảnh bìa

    Logics and languages for reliability and security

    Được phát hành 2010
    Tác giả khác: “…Grumberg, Orna…”
    An electronic book accessible through the World Wide Web; click to view
    Điện tử eBook

    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Ảnh bìa

    Software systems safety /

    Được phát hành 2014
    Tác giả khác: “…Grumberg, Orna…”
    An electronic book accessible through the World Wide Web; click to view
    Điện tử eBook

    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Ảnh bìa

    Formal logical methods for system security and correctness

    Được phát hành 2008
    Tác giả khác: “…Grumberg, Orna…”
    An electronic book accessible through the World Wide Web; click to view
    Điện tử Hội nghị đang tiến hành eBook

    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Ảnh bìa

    Software safety and security tools for analysis and verification /

    Được phát hành 2012
    Tác giả khác: “…Grumberg, Orna…”
    An electronic book accessible through the World Wide Web; click to view
    Điện tử Hội nghị đang tiến hành eBook

    Lưu vào danh sách
    Đã lưu trong:

Công cụ tìm kiếm: