Tools and Algorithms for the Construction and Analysis of Systems: 12th Internat
69,04 €
Invited Contributions. -Calculus Systems. - Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. - Symbolic Techniques. - SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver.
Jetzt bei Ebay: