LIBROS DEL AUTOR: mauricio ayala rincon

2 resultados para LIBROS DEL AUTOR: mauricio ayala rincon

mauricio ayala rincon Eliminar filtro Quitar filtros
  • Applied Logic for Computer Scientists
    Flávio L. C. de Moura / Flávio LCde Moura / Mauricio Ayala-Rincón
    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal...
    Disponible

    60,72 €

  • Applied Logic for Computer Scientists
    Flávio L. C. de Moura / Mauricio Ayala-Rincón
    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal...
    Disponible

    48,42 €