FM'99 - Formal Methods Vol. I : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Pro
by Jeannette M. Wing, Jim Woodcook, Jim Davies Paperback 2001
- Author: Jeannette M. Wing, Jim Woodcook, Jim Davies
- ISBN 13: 9783540665878
- ISBN 10: 3540665870
- Publication Year: 2001
- Language: English
Specifications
| Index-10 | 3540665870 |
|---|---|
| Index-13 | 9783540665878 |
| Language | English |