LIBROS DEL AUTOR: martin wirsing

1 resultados para LIBROS DEL AUTOR: martin wirsing

martin wirsing Eliminar filtro Quitar filtros
  • Adapting Proofs-as-Programs
    Iman Poernomo / John N. Crossley / Martin Wirsing
    This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for ...
    Disponible

    242,69 €