Formal methods Pacific '97
Subtitle: proceedings of FMP '97 9-11 July 1997, Wellington, New Zealand
By: Lindsay Groves, Steve Reeves (editors)
Contributors: Groves, Lindsay.; Reeves, Steve, 1957-; Australasian Refinement Workshop.; New Zealand Formal Program Development Colloquium.
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 320
Subjects: Computer engineering -- Congresses.; Computer organization -- Congresses.; Computer software -- Development -- Congresses.; System design -- Congresses.
Other titles: Proceedings of FMP '97
Notes: "Combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium"--P. v.

Includes bibliographical references and index.