Illustration

Biographie et livres de Stéphane Demri

Découvrez tout l'univers de l'auteur en livre numérique
Stéphane Demri is a CNRS directeur de recherche at the Laboratoire Spécification et Vérification (LSV), Ecole Normale Supérieure de Cachan, and he is currently the head of LSV. His current research interests include verification of infinite-state systems, temporal logics and analysis of systems with data. He has participated in numerous international and national projects and has been co-responsible for bilateral projects with Poland, South Africa and Australia. He is regularly involved in
Découvrez tous ses livres

Dernière parution

Téléchargez le livre : Temporal Logics in Computer Science
Ajouter à ma liste d'envies
Temporal Logics in Computer Science

Stéphane Demri , Valentin Goranko , Martin Lange

Cambridge University Press

2016-10-13

PDF, ePub

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and...

132,27 €

Lire plus

Tous les ebooks de Stéphane Demri en PDF et EPUB


 

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés