Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... Notes in Computer Science (6447), Band 6447)
von:
Jin Song Dong
·
Huibiao Zhu
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-16900-7
ISBN-10: 3-642-16900-7
Springer
· 2010
