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: 25 Years of T

Ø 0.0
0 Bewertungen
67,86 €

Confluence Competion 2019. - The Model Checking Contest (2019). - The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models. - The Rewrite Engines Competitions: A RECtrospective.

Jetzt bei Ebay: