खोज परिणाम - "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
    इलेक्ट्रोनिक ई-पुस्तक