Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, He
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: