Search Results

Suggested Topics within your search.
  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Software verification and validation for practitioners and managers

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

    Published 2001
  2. 2
    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
  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
  4. 4
    Reconfigurable system design and verification

    Reconfigurable system design and verification by Hsiung, Pao-Ann, Huang, Chun-Hsian, Santambrogio, Marco D. [ (Marco Domenico)]

    Published 2009
    Table of contents only
  5. 5
    Rigorous software development : an introduction to program verification

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

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

    Software engineering reviews and audits by Summers Boyd L.

    Published 2011
  7. 7
    The economics of software quality

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

    Published 2012

Search Tools: