International Refinement Workshop and Formal Methods Pacific '98: Proceedings of IRW/FMP '98 29 September - 2 October 1998, Canberra, Australia - Discrete Mathematics and Theoretical Computer Science (Paperback)Jim Grundy (editor), Martin Schwenke (editor), Trevor Vickers (editor)
- Publisher out of stock
Publisher: Springer Verlag, Singapore
Number of pages: 384
Weight: 620 g
Dimensions: 235 x 155 mm
Edition: 1998 ed.
You may also be interested in...
Please sign in to write a review