Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008, ... Notes in Computer Science (5256), Band 5256)
von
Shaoying Liu
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-88193-3
ISBN-10: 3-540-88193-X
Springer
· 2008