Illustration

Biographie et livres de Martin Lange

Découvrez tout l'univers de l'auteur en livre numérique
Martin Lange is currently a professor in theoretical computer science at the University of Kassel, Germany. His research interests include model checking and general decision procedures for logics in computer science with a focus on temporal logics. He has published more than 80 papers in international journals and conference proceedings. He received an ERC Starting Grant in 2010 and a Heisenberg professorship from the German Research Council in 2013.
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...

137,32 €

Lire plus

Tous les ebooks de Martin Lange en PDF et EPUB


 

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

Paiements sécurisés

Paiements sécurisés