Search Results - computer programs (verification OR modification)

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

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

Subjects:

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

Table of contents only
Contributor biographical information
Publisher description

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