Tools and Algorithms for the Construction and Analysis of Systems: 24th Internat
67,86 €
Concurrent and Distributed Systems. - Computing the concurrency threshold of sound free-choice workflow nets. - Fine-Grained Complexity of Safety Verification. - SAT and SMT II. - What a Difference a Variable Makes.
Jetzt bei Ebay: