Resultados de búsqueda

Limitar resultados
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Verification of infinite-state systems with applications to security

    Publicado 2006
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Procedimiento de la Conferencia eBook
  7. 7
  8. 8

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

    Publicado 2008
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook
  9. 9
  10. 10
  11. 11

    Verification and validation of 3D free-surface flow models

    Publicado 2009
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook
  12. 12

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

    Publicado 2011
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook
  13. 13
  14. 14

    Software safety and security tools for analysis and verification /

    Publicado 2012
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Procedimiento de la Conferencia eBook
  15. 15
  16. 16
  17. 17

    Detection of nuclear weapons and materials

    Publicado 2010
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook
  18. 18

    Engineering dependable software systems /

    Publicado 2013
    An electronic book accessible through the World Wide Web; click to view
    Electrónico Procedimiento de la Conferencia eBook
  19. 19

    Robot framework test automation / por Bisht, Sumit

    Publicado 2013
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook
  20. 20

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

    Publicado 2009
    An electronic book accessible through the World Wide Web; click to view
    Electrónico eBook