Tools and Algorithms for the Construction of Analysis of Systems: 5th Internatio
67,86 €
The 28 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. Short Title TOOLS & ALGORITHMS FOR THE CON. Invited Contribution. - Scheduling System Verification.
Jetzt bei Ebay: