ISBN 9783540000297 books & textbook
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)
Springer /2002-10-09 Paperback / 648 Pages
isbn-10: 3540000291 / isbn-13: 9783540000297
