LIBROS DEL AUTOR: henry hamburger

2 resultados para LIBROS DEL AUTOR: henry hamburger

henry hamburger Eliminar filtro Quitar filtros
  • Logic and Language Models for Computer Science
    DANA RICHARDS / HENRY HAMBURGER
     This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes the algorithmic nature of the proofs and the reliance on simulations...
    Disponible

    114,15 €

  • Logic and Language Models for Computer Science
    DANA RICHARDS / HENRY HAMBURGER
     This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways: it emphasizes the algorithmic nature of the proofs and the reliance on simulations...
    Disponible

    67,49 €