LIBROS DEL AUTOR: patrick schultz

1 resultados para LIBROS DEL AUTOR: patrick schultz

patrick schultz Eliminar filtro Quitar filtros
  • Temporal Type Theory
    David I. Spivak / Patrick Schultz
    This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demons...
    Disponible

    147,05 €