The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
- ISBN13 9781504128773
- Publish Date 14 August 1998 (first published 31 July 1997)
- Publish Status Cancelled
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition Softcover reprint of the original 1st ed. 1997
- Format Paperback
- Pages 443
- Language English