Ebooks de Patrick Schultz en PDF et EPUB

1 Livre(s)
Télécharger le livre : Temporal Type Theory
Ajouter à ma liste d'envies
Temporal Type Theory
Patrick Schultz , David I. Spivak
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...

Editeur : Birkhäuser
Parution : 2019-01-29
Collection : Progress in Computer Science and Applied Logic
PDF, ePub

116,04 €