Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Tools and Algorithms for the Construction and Analysis of Systems: 12th Internat

Ø 0.0
0 Bewertungen
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: