Resultats de la cerca - "Computer logic Congresses."

  • Mostrar 1 - 1 resultats de 1
Refinar resultats
  1. 1

    Formal logical methods for system security and correctness

    Publicat 2008
    Matèries: “…Computer logic Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electrònic Actes de congresos eBook