Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris,
61,40 €
Unifying Theories of Undefinedness in UTP. - Unifying Theories of Programming with Monads. - Algebra Unifies Operational Calculi. - A Probabilistic Theory of Designs Based on Distributions. - The Logic of U•(TP)2.
Jetzt bei Ebay: