Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 20 kết quả của 152 cho tìm kiếm '', thời gian truy vấn: 0.03s Tinh chỉnh kết quả
  1. 1
    Systems and software verification : model-checking techniques and tools /
    Bằng Berard, B.
    Được phát hành 2001
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Software verification and validation for practitioners and managers /
    Bằng Rakitin, Steven R.
    Được phát hành 2001
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Formal equivalence checking and design debugging /
    Bằng Huang, Shi-Yu
    Được phát hành 1998
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Verification of computer codes in computational science and engineering /
    Bằng Knupp, Patrick
    Được phát hành 2003
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Computer science logic /
    Được phát hành 2000
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Computer aided verification /
    Được phát hành 2000
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Toward zero-defect programming /
    Bằng Stavely, Allan M.
    Được phát hành 1999
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Verification and validation in scientific computing /
    Bằng Oberkampf, William L.
    Được phát hành 2010
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Nuclear test ban : converting political visions to reality /
    Bằng Dahlman, Ola
    Được phát hành 2009
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Principles of model checking /
    Bằng Baier, Christel
    Được phát hành 2008
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Verification and validation of 3D free-surface flow models /
    Được phát hành 2009
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Reconfigurable system design and verification /
    Bằng Hsiung, Pao-Ann
    Được phát hành 2009
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    The inverse method : parametric verification of real-time embedded systems /
    Bằng Andre, Etienne
    Được phát hành 2012
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Applied formal verification /
    Bằng Perry, Douglas L.
    Được phát hành 2005
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Verification and validation for quality of UML 2.0 models /
    Bằng Unhelkar, Bhuvan
    Được phát hành 2005
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
    Bằng Yoeli, Michael, 1917-
    Được phát hành 2008
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    Writing testbenches : functional verification of HDL models /
    Bằng Bergeron, Janick
    Được phát hành 2003
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Guidance for the verification and validation of neural networks /
    Bằng Pullum, Laura L.
    Được phát hành 2007
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
    Được phát hành 2005
    SpringerLink
    Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    Verifying treaty compliance : limiting weapons of mass destruction and monitoring Kyoto protocol Provisions /
    Được phát hành 2006
    Click here to view the full text content
    eBook
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm