- Bib ID:
- 2086919
- Format:
- Book
- Author:
- International Refinement Workshop and Formal Methods Pacific 1998, (1998 : Canberra, Australia)
- Description:
-
- Canberra : Australian National University, 1998
- 1 v.
- ISBN:
- 0731548019
- Series:
- Joint computer science technical report series ; TR-CS-98-09.
- Notes:
-
- Includes index.
- "FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development Colloquium ..."--Preface.
- Bibliography.
- Subject:
-
- Other authors/contributors:
-
- Copyright:
-
In Copyright
You may copy under some circumstances, for example you may copy a portion for research or study.
Order a copy through Copies Direct to the extent allowed under fair dealing.
Contact us for further information about copying.
Copyright status was determined using the following information:
- Material type:
- Literary Dramatic Musical
- Published status:
- Published
- Publication date:
- 1998
Copyright status may not be correct if data in the record is incomplete or inaccurate.
Other access conditions may also apply. For more information please see:
Copyright in library collections.
Request this item
Request this item to view in the Library’s reading room.