Illustration

Biographie et livres de David I. Spivak

Découvrez tout l'univers de l'auteur en livre numérique
David I. Spivak is a research scientist in the Department of Mathematics at the Massachusetts Institute of Technology. He has found applications of category theory ranging from database integration to knowledge representation, from materials science to dynamical systems and behaviour. He is the author of two other books in category theory.
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Temporal Type Theory
Ajouter à ma liste d'envies
Temporal Type Theory

Patrick Schultz , David I. Spivak

Birkhäuser

2019-01-29

PDF, ePub

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,...

116,04 €

En savoir plus

Ebooks de David I. Spivak en PDF et EPUB

Aucun livre trouvé avec ces critères.