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)

Engineering

von: Chris George · Huaikou Miao

Taschenbuch

ISBN: 978-3-540-00029-7

ISBN-10: 3-540-00029-1

Springer · 2002