Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Lecture Notes in Computer Science, Band 8049)

von: Zhiming Liu · Jim Woodcock · Huibiao Zhu Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-39717-2 ISBN-10: 3-642-39717-4 Springer · 2013