Résultats de la recherche

Affiner les résultats
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Verification of infinite-state systems with applications to security

    Publié 2006
    An electronic book accessible through the World Wide Web; click to view
    Électronique Actes de congrès eBook
  7. 7
  8. 8

    Verification techniques for system-level design par Fujita, Masahiro, 1956-

    Publié 2008
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook
  9. 9
  10. 10
  11. 11

    Verification and validation of 3D free-surface flow models

    Publié 2009
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook
  12. 12

    Germ gambits the bioweapons dilemma, Iraq and beyond / par Smithson, Amy E.

    Publié 2011
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook
  13. 13
  14. 14

    Software safety and security tools for analysis and verification /

    Publié 2012
    An electronic book accessible through the World Wide Web; click to view
    Électronique Actes de congrès eBook
  15. 15
  16. 16
  17. 17

    Detection of nuclear weapons and materials

    Publié 2010
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook
  18. 18

    Engineering dependable software systems /

    Publié 2013
    An electronic book accessible through the World Wide Web; click to view
    Électronique Actes de congrès eBook
  19. 19

    Robot framework test automation / par Bisht, Sumit

    Publié 2013
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook
  20. 20

    The software audit guide / par Helgeson, John W., 1945-

    Publié 2009
    An electronic book accessible through the World Wide Web; click to view
    Électronique eBook