Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. ... Notes in Computer Science, Band 6991)
von:
Shengchao Qin
· Zongyan Qiu
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-24558-9
ISBN-10: 3-642-24558-7
Springer
· 2011