Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings - Softcover

 
9783030003609: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Invited Papers.- Distributed Systems and Protocols.- Testing and Fault Detection.- Model Checking and State-Space Exploration.- Stochastic and Probabilistic Systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783030003586: Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, ... Computer Science and General Issues)

Vorgestellte Ausgabe

ISBN 10:  3030003582 ISBN 13:  9783030003586
Verlag: Springer, 2018
Softcover