Tools and Algorithms for the Construction and Analysis of Systems: 8th Internati
68,59 €
Invited Contributions. - Software Construction and Analysis Tools for Future Space Missions. - Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. - An Analysis of Zero-Clairvoyant Scheduling.
Jetzt bei Ebay: