Search Results - computer software (verification OR modification)

Suggested Topics within your search.
  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

    Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings by Yorav, Karen

    Published 2008
    Subjects:
  2. 2
    Software verification and validation for practitioners and managers

    Software verification and validation for practitioners and managers by Rakitin, Steven R.

    Published 2001
    Subjects:
  3. 3
    Verification of sequential and concurrent programs

    Verification of sequential and concurrent programs by Apt, Krzysztof R. , 1949-, Boer, Frank S. de, Olderog, Ernst-Rudiger

    Published 2009
    Subjects: “…Computer software Verification…”
  4. 4
    Rigorous software development an introduction to program verification

    Rigorous software development an introduction to program verification by Almeida, Jose Bacelar

    Published 2011
    Subjects:
    Table of contents only
    Contributor biographical information
    Publisher description
  5. 5
    Software engineering reviews and audits

    Software engineering reviews and audits by Summers Boyd L.

    Published 2011
    Subjects:
  6. 6
    The economics of software quality

    The economics of software quality by Jones, Capers, Bonsignour, Olivier

    Published 2012
    Subjects:

Search Tools: