Relational and Algebraic Methods in Computer Science: 14th International Confere
69,13 €
Endowing Concurrent Kleene Algebra with Communication Actions. - Concurrent Kleene Algebra with Tests. - Algebras for Program Correctness in Isabelle/HOL. - Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages.
Jetzt bei Ebay: