| Shelfclass_id | 3.A |
| Sortkey | IRW/FMP |
| Authors | J Grundy, M Schwenke, Trevor Vickers |
| Title | IRW/FMP 1998: International Refinement Workshop & Formal Methods Pacific '98: proceedings of IRW/FMP '98, 29 September- 2 October 1998, Canberra, Australia |
| Publisher | Centre for Discrete Mathematics & Theoretical Computer Science |
| Year | c1998 |
| Languages | eng |
| Isbn | 9814021164 |
| Description | viii, 380 p. ill. 24 cm. |
| Record date | 20070426 |
| Location | Auckland |
| Keywords | Real-time programming |
| Notes | Includes index. |