Tous les livres numériques d'Etienne André en PDF et EPUB

1 Livre(s)


The Inverse Method Etienne André , Romain Soulat This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular,... Editeur : Wiley-ISTE Parution : 2013-02-20 PDF, ePub 163,47 € 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 d'Etienne André en PDF et EPUB