Erakusten 41 - 44 emaitzak -- 44 bilaketa honetara '"Computer software Verification"', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 41

    Program verification nork Francez, Nissim

    Argitaratua 1992
    Liburua

    Program verification
  2. 42

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

    Argitaratua 1992
    Liburua

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

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

    Thesis

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

Bilaketa egiteko lanabesak: