Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science, Band 7681)

Abderrahmane

von: Burkhard Wolff · Marie-Claude Gaudel · Abderrahmane Feliachi

Taschenbuch

ISBN-13: 978-3-642-35704-6

ISBN-10: 3-642-35704-0

Springer · 2013