LIBROS DEL AUTOR: thomas streicher

1 resultados para LIBROS DEL AUTOR: thomas streicher

thomas streicher Eliminar filtro Quitar filtros
  • Semantics of Type Theory
    Thomas Streicher
    Typing plays an important role in software development. Types can be consid­ ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci­ fication. By translating a problem specification into a proposition in constructive logic, one can go one step further:...
    Disponible

    121,50 €