Gösterilen 41 - 44 sonuçlar arası kayıtlar. 44 sonuç. Aranan kelime '"Computer software Verification"', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 41

    Program verification Yazar: Francez, Nissim

    Baskı/Yayın Bilgisi 1992
    Kitap

    Program verification
  2. 42

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

    Baskı/Yayın Bilgisi 1992
    Kitap

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

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

    Tez

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

Arama Araçları: