Showing 41 - 44 results of 44 for search '"Computer software Verification."', זמן שאילתה: 0.02s Refine Results
  1. 41

    Program verification מאת Francez, Nissim

    יצא לאור 1992
    ספר

    Program verification
  2. 42

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

    יצא לאור 1992
    ספר

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

    Rigorous Software Development An Introduction to Program Verification מאת 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 מאת Asoy, Andrei Luz B.

    Thesis

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

כלי חיפוש: