Join our mailing list
Get exclusive deals and learn about new products!
Reliable shipping
Flexible returns
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.
Published by: Springer
Publication Date: 1997-07-31
Format: Hardcover
ISBN-13: 9780412820502
DOI: 10.1007/978-0-387-35264-0
Dimensions: 235.0cm x155.0cm
Pages: 443.0