Tous les livres numériques de Fabio Mogavero en EPUB

1 Livre(s)


Logics in Computer Science Fabio Mogavero In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two... Editeur : Atlantis Press Parution : 2013-07-30 ePub 52,74 € 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 Fabio Mogavero en EPUB