תוצאות חיפוש - "Computer software Verification"

בתוך החיפוש שלך נושאים מוצעים
  • Showing 1 - 18 results of 18
Refine Results
  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
    תמונות העטיפה

    The software audit guide / מאת Helgeson, John W., 1945-

    יצא לאור 2009
    נושאים: “...Computer software Verification....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  3. 3
    תמונות העטיפה

    Principles of model checking מאת Baier, Christel

    יצא לאור 2008
    נושאים: “...Computer software Verification....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  4. 4
    תמונות העטיפה

    Principles of model checking מאת Baier, Christel

    יצא לאור 2008
    נושאים: “...Computer software Verification....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  5. 5
    תמונות העטיפה

    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
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  6. 6
    תמונות העטיפה

    Robot framework test automation / מאת Bisht, Sumit

    יצא לאור 2013
    נושאים: “...Computer software Verification....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  7. 7
    תמונות העטיפה

    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
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  8. 8
    תמונות העטיפה

    Robot framework test automation / מאת Bisht, Sumit

    יצא לאור 2013
    נושאים: “...Computer software Verification....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  9. 9
    תמונות העטיפה

    Engineering dependable software systems /

    יצא לאור 2013
    נושאים: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  10. 10
    תמונות העטיפה

    Dependable software systems engineering /

    יצא לאור 2015
    נושאים: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  11. 11
    תמונות העטיפה

    Engineering dependable software systems /

    יצא לאור 2013
    נושאים: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  12. 12
    תמונות העטיפה

    Dependable software systems engineering /

    יצא לאור 2015
    נושאים: “...Computer software Verification Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  13. 13
    תמונות העטיפה

    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
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  14. 14
    תמונות העטיפה

    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
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  15. 15
    תמונות העטיפה

    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
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  16. 16
    תמונות העטיפה

    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
    אלקטרוני Conference Proceeding ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  17. 17
    תמונות העטיפה

    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
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:
  18. 18
    תמונות העטיפה

    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
    אלקטרוני ספר אלקטרוני

    הוספה למועדפים
    שמור ב:

כלי חיפוש: