Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Notes in Computer Science, Band 8050)

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