
Algorithmische Methoden
Philipp Kügler, Wolfgang Windsteiger
₹2,031

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Free delivery. Nothing extra to pay at checkout.
This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University, Shanghai, China, November15 16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010).
Description supplied by the publisher.