Showing 41 - 44 results of 44 for search '"Computer software Verification"', query time: 0.02s Refine Results
  1. 41

    Program verification by Francez, Nissim

    Published 1992
    Book

    Program verification
  2. 42

    Independent verification and validation a life cycle engineering process for quality software by Lewis, Robert O. 1938-

    Published 1992
    Book

    Independent verification and validation a life cycle engineering process for quality software
  3. 43

    Rigorous Software Development An Introduction to Program Verification by Almeida, José Bacelar

    Available for University of the Philippines System via SpringerLink. Click here to access
    Electronic Resource

    Rigorous Software Development An Introduction to Program Verification
  4. 44

    Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness by Asoy, Andrei Luz B.

    Thesis

    Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness

Search Tools: