Kết quả tìm kiếm - "Computer software Verification"

Chủ đề được đề xuất trong tìm kiếm của bạn.
  • Đang hiển thị 1 - 18 kết quả của 18
Tinh chỉnh kết quả
  1. 1
    Ảnh bìa

    The software audit guide / Bằng Helgeson, John W., 1945-

    Được phát hành 2009
    Những chủ đề: “…Computer software Verification.…”
    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

    The software audit guide / Bằng Helgeson, John W., 1945-

    Được phát hành 2009
    Những chủ đề: “…Computer software Verification.…”
    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

    Principles of model checking Bằng Baier, Christel

    Được phát hành 2008
    Những chủ đề: “…Computer software Verification.…”
    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:
  4. 4
    Ảnh bìa

    Principles of model checking Bằng Baier, Christel

    Được phát hành 2008
    Những chủ đề: “…Computer software Verification.…”
    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:
  5. 5
    Ảnh bìa

    Software safety and security tools for analysis and verification /

    Được phát hành 2012
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  6. 6
    Ảnh bìa

    Robot framework test automation / Bằng Bisht, Sumit

    Được phát hành 2013
    Những chủ đề: “…Computer software Verification.…”
    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:
  7. 7
    Ảnh bìa

    Software safety and security tools for analysis and verification /

    Được phát hành 2012
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  8. 8
    Ảnh bìa

    Robot framework test automation / Bằng Bisht, Sumit

    Được phát hành 2013
    Những chủ đề: “…Computer software Verification.…”
    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:
  9. 9
    Ảnh bìa

    Engineering dependable software systems /

    Được phát hành 2013
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  10. 10
    Ảnh bìa

    Dependable software systems engineering /

    Được phát hành 2015
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  11. 11
    Ảnh bìa

    Engineering dependable software systems /

    Được phát hành 2013
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  12. 12
    Ảnh bìa

    Dependable software systems engineering /

    Được phát hành 2015
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  13. 13
    Ảnh bìa

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS Bằng Yoeli, Michael, 1917-

    Được phát hành 2008
    Những chủ đề: “…Computer software Verification.…”
    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:
  14. 14
    Ảnh bìa

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS Bằng Yoeli, Michael, 1917-

    Được phát hành 2008
    Những chủ đề: “…Computer software Verification.…”
    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:
  15. 15
    Ảnh bìa

    Verification of infinite-state systems with applications to security

    Được phát hành 2006
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  16. 16
    Ảnh bìa

    Verification of infinite-state systems with applications to security

    Được phát hành 2006
    Những chủ đề: “…Computer software Verification Congresses.…”
    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:
  17. 17
    Ảnh bìa

    Metamodeling-driven IP reuse for SoC integration and microprocessor design Bằng Mathaikutty, Deepak A.

    Được phát hành 2009
    Những chủ đề: “…Computer software Verification.…”
    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:
  18. 18
    Ảnh bìa

    Metamodeling-driven IP reuse for SoC integration and microprocessor design Bằng Mathaikutty, Deepak A.

    Được phát hành 2009
    Những chủ đề: “…Computer software Verification.…”
    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:

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