Đang hiển thị 31 - 40 kết quả của 43 cho tìm kiếm '"Computer software Verification."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 31

    Data flow analysis theory and practice Bằng Khedker, Uday

    Được phát hành 2009
    Sách

    Data flow analysis theory and practice
  2. 32

    Principles of model checking Bằng Baier, Christel

    Được phát hành 2008
    Table of contents only
    Sách

    Principles of model checking
  3. 33

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

    Được phát hành 2008
    Sách

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS
  4. 34

    Verification, validation and testing in software engineering

    Được phát hành 2007
    Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request
    Electronic Resource

    Verification, validation and testing in software engineering
  5. 35

    Verification, validation and testing in software engineering

    Được phát hành 2007
    Available for University of the Philippines Diliman via Gale Virtual Reference Library. Click here to access
    Electronic Resource

    Verification, validation and testing in software engineering
  6. 36

    Software inspection an industry best practice Bằng Wheeler, David A.

    Được phát hành 1996
    Sách

    Software inspection an industry best practice
  7. 37

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism Bằng Rao, Josyula Ramachandra 1962-

    Được phát hành 1995
    Sách

    Extensions of the UNITY methodology compositionality, fairness, and probability in parallelism
  8. 38

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    Được phát hành 1993
    Sách

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
  9. 39

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.

    Được phát hành 1993
    Sách

    Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
  10. 40

    Verification and validation of rule-based expert systems Bằng Smith, Suzanne 1953-

    Được phát hành 1993
    Sách

    Verification and validation of rule-based expert systems

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