FM 99 Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 20 24 1999 Proceedings II Lecture Notes in Computer Science v 2
Full Title: | FM 99 Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 20 24 1999 Proceedings II Lecture Notes in Computer Science v 2 |
---|---|
ISBN: | 3540665889 |
ISBN13: | 9783540665885 |
List Price: | USD $169.00 |
Authors: |
Wing, Jeannette M., Jim Woodcook and Jim Davies |
Related ISBNs