Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop
65,83 €
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). - Generic Weakest Precondition Semantics from Monads Enriched with Order. - On Coalgebras with Internal Moves.
Jetzt bei Ebay:
