Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - Couverture souple

 
9783319661773: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Couverture souple
ISBN 10 : 3319661779 ISBN 13 : 9783319661773
Editeur : Springer, 2017

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2017
Langue
anglais
ISBN 10 
3319661779
ISBN 13 
9783319661773
Reliure
Paperback
Nombre de pages
224
Éditeur
Barkaoui Kamel, Boucheneb Hanifa, Mili Ali
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783319661759: Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Edition présentée

ISBN 10 :  3319661752 ISBN 13 :  9783319661759
Editeur : Springer, 2017
Couverture souple