Tous les livres numériques de Patrick Schultz en PDF et EPUB

1 Livre(s)


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 € PDF ePub J'achète Téléchargement immédiat Dès validation de votre commande

Les livres numériques peuvent être téléchargés depuis votre librairie numérique ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Application
Ordinateur	-EPUB -PDF	Adobe Digital Editions
Tablette et Smartphone Android	-EPUB -PDF	Adobe Digital Editions pour Android
iPad	-EPUB -PDF	Adobe Digital Editions pour Apple
iPhone	-EPUB	Adobe Digital Editions pour Apple
Liseuse	-EPUB	Module de lecture de la liseuse

Consultez l’aide pour en savoir plus.

Catalogue

Tous les livres numériques de Patrick Schultz en PDF et EPUB