نتائج البحث - "Computer software Verification."

  • يعرض 1 - 9 نتائج من 9
تنقيح النتائج
  1. 1

    The software audit guide / حسب Helgeson, John W., 1945-

    منشور في 2009
    الموضوعات: "…Computer software Verification.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني
  2. 2

    Principles of model checking حسب Baier, Christel

    منشور في 2008
    الموضوعات: "…Computer software Verification.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني
  3. 3

    Software safety and security tools for analysis and verification /

    منشور في 2012
    الموضوعات: "…Computer software Verification Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني
  4. 4

    Robot framework test automation / حسب Bisht, Sumit

    منشور في 2013
    الموضوعات: "…Computer software Verification.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني
  5. 5

    Engineering dependable software systems /

    منشور في 2013
    الموضوعات: "…Computer software Verification Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني
  6. 6

    Dependable software systems engineering /

    منشور في 2015
    الموضوعات: "…Computer software Verification Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني
  7. 7

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS حسب Yoeli, Michael, 1917-

    منشور في 2008
    الموضوعات: "…Computer software Verification.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني
  8. 8

    Verification of infinite-state systems with applications to security

    منشور في 2006
    الموضوعات: "…Computer software Verification Congresses.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني وقائع المؤتمر كتاب الكتروني
  9. 9

    Metamodeling-driven IP reuse for SoC integration and microprocessor design حسب Mathaikutty, Deepak A.

    منشور في 2009
    الموضوعات: "…Computer software Verification.…"
    An electronic book accessible through the World Wide Web; click to view
    الكتروني كتاب الكتروني