Description - Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings by Chris George

The title of this book is Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings and is written by author Chris George. The book Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings is published by Springer. The ISBN of this book is 9783540361039 and the format is Digital (delivered electronically). The publisher has not provided a book description for Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings by Chris George.