Ebooks de Stephan Merz en PDF et EPUB

1 Livre(s)
Télécharger le livre : Modeling and Verification of Real-time Systems
Ajouter à ma liste d'envies
Modeling and Verification of Real-time Systems
Stephan Merz , Nicolas Navet
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical...

Editeur : Wiley-ISTE
Parution : 2013-03-07

PDF, ePub

253,15 €