Resultats de la cerca - "Computer logic"

  • Mostrar 1 - 2 resultats de 2
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
  2. 2

    Partitioning implementations for IBM e-server p5 servers per Irving, Nic

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