Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science (8137), Band 8137)

Engineering

von: Robert M. Hierons · Mercedes G. Merayo · Mario Bravetti

Taschenbuch

ISBN-13: 978-3-642-40560-0

ISBN-10: 3-642-40560-6

Springer · 2013