Search Results - computer program (verification OR modification)

Suggested Topics within your search.
  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    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
  2. 2
    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
  3. 3
    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:
  4. 4
    An alternative formula for conjugate gradient coefficient with descent properties for unconstrained optimization

    An alternative formula for conjugate gradient coefficient with descent properties for unconstrained optimization by Ibrahim Sulaiman Mohammed

Search Tools: