Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... Notes in Computer Science (2495), Band 2495)
von:
Chris George
·
Huaikou Miao
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-00029-7
ISBN-10: 3-540-00029-1
Springer
· 2002