Suggested Topics within your search.
Showing 1 - 20 results of 54 for search '"Computer software Verification."', query time: 0.03s Refine Results
  1. 1
    Model checking software (vol. # 3925) : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
    Published 2006
    Subjects: “…Computer software Verification Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  2. 2
    Software verification and analysis an integrated, hands-on approach
    by Laski, Janusz
    Published 2009
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  3. 3
    Software verification and analysis an integrated, hands-on approach
    by Laski, Janusz
    Published 2009
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  4. 4
    Systems and software verification : model-checking techniques and tools /
    by Berard, B.
    Published 2001
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  5. 5
    Software verification and validation for practitioners and managers /
    by Rakitin, Steven R.
    Published 2001
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  6. 6
    Principles of model checking /
    by Baier, Christel
    Published 2008
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  7. 7
    Toward zero-defect programming /
    by Stavely, Allan M.
    Published 1999
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  8. 8
    Software verification and analysis an integrated, hands-on approach /
    by Laski, Janusz
    Published 2009
    Subjects: “…Computer software Verification.…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  9. 9
    Computer aided verification /
    Published 2000
    Subjects: “…Computer software Verification Congresses.…”
    Conference Proceeding Book
    Save to List
    Saved in:
  10. 10
    Computer aided verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Published 2006
    Subjects: “…Computer software Verification Congresses.…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Software verification and validation an engineering and scientific approach
    by Fisher, Marcus S.
    Published 2007
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  12. 12
    Software verification and validation an engineering and scientific approach
    by Fisher, Marcus S.
    Published 2007
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  13. 13
    Software verification and validation for practitioners and managers
    by Rakitin, Steven R.
    Published 2001
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  14. 14
    Software verification and validation for practitioners and managers
    by Rakitin, Steven R.
    Published 2001
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  15. 15
    Principles of model checking
    by Baier, Christel
    Published 2008
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  16. 16
    Principles of model checking
    by Baier, Christel
    Published 2008
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  17. 17
    Co-verification of hardware and software for ARM SoC design /
    by Andrews, Jason R.
    Published 2005
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  18. 18
    Verification, validation and testing in software engineering /
    Published 2007
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
  19. 19
    Toward zero-defect programming
    by Stavely, Allan M.
    Published 1999
    Subjects: “…Computer software Verification 23864…”
    Book
    Save to List
    Saved in:
  20. 20
    Co-verification of hardware and software for ARM SoC design /
    by Andrews, Jason R.
    Published 2005
    Subjects: “…Computer software Verification.…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search