يعرض 41 - 43 نتائج من 43 نتيجة بحث عن '"Computer software Verification."', وقت الاستعلام: 0.02s تنقيح النتائج
  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

أدوات البحث: