Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 2002 - Proc
by Chris George, Huaikou Miao Paperback 2002
- Author: Chris George, Huaikou Miao
- ISBN 13: 9783540000297
- ISBN 10: 3540000291
- Publication Year: 2002
- Language: English
Specifications
| Index-10 | 3540000291 |
|---|---|
| Index-13 | 9783540000297 |
| Language | English |