LIBROS DEL AUTOR: zhe hou

2 resultados para LIBROS DEL AUTOR: zhe hou

zhe hou Eliminar filtro Quitar filtros
  • Fundamentals of Logic and Computation
    Zhe Hou
    This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the r...
    Disponible

    80,74 €

  • Fundamentals of Logic and Computation
    Zhe Hou
    This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the r...
    Disponible

    48,12 €