LIBROS DEL AUTOR: flavio lcde moura

1 resultados para LIBROS DEL AUTOR: flavio lcde moura

flavio lcde moura 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 €