Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - ... Notes in Computer Science, Band 8144)
von:
Lindsay Groves ·
Jing Sun
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-41201-1
ISBN-10: 3-642-41201-7
Springer
· 2013
