Search Results - computer (programs OR program) (verification OR modification)

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

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

Table of contents only
Contributor biographical information
Publisher description

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

Subjects:

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