Tools and Algorithms for the Construction and Analysis of Systems: 25th Internat
68,59 €
Concurrent and Distributed Systems. - Multi-Core On-The-Fly Saturation. - Specification and Efficient Monitoring Beyond STL. - Constraint-based Monitoring of Hyperproperties. - Hybrid and Stochastic Systems.
Jetzt bei Ebay: