Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... Notes in Computer Science, Band 8829)
von:
Stephan Merz
· Jun Pang
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-11736-2
ISBN-10: 3-319-11736-X
Springer
· 2014
