Résultat(s) 41 - 43 résultats de 43 pour la requête '"Computer software Verification"', Temps de recherche: 0,02s Affiner les résultats
  1. 41

    Program verification par Francez, Nissim

    Publié 1992
    Livre

    Program verification
  2. 42

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

    Publié 1992
    Livre

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

    Rigorous Software Development An Introduction to Program Verification par 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

Outils de recherche: