Refine Your Search
Book List
1
-
Software development with Z : a practical approach to formal methods in software engineering / J.B. Wordsworth.
- 005.12 W925
- Wordsworth, J. B.
- Addison-Wesley Pub. Co.,
- 1992.
- Wokingham, England ; Reading, Mass. :