LIBROS DEL AUTOR: david i spivak

4 resultados para LIBROS DEL AUTOR: david i spivak

david i spivak Eliminar filtro Quitar filtros
  • Polynomial Functors
    David I. Spivak / Nelson Niu
    ...
    Disponible

    124,64 €

  • An Invitation to Applied Category Theory
    Brendan Fong / David I. Spivak
    ...
    Disponible

    76,23 €

  • An Invitation to Applied Category Theory
    Brendan Fong / David I. Spivak / David ISpivak
    ...
    Disponible

    168,32 €

  • 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 €