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

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, He

Ø 0.0
0 Bewertungen
69,60 €

Automaton and Equation based Approximations for Reachability Analysis. - Multiparadigm Programming in Maude. - Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT.

Jetzt bei Ebay: