Scan barcode
443 pages • missing pub info (editions)
ISBN/UID: 9780412820502
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 July 1997
Description
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 pr...
Community Reviews
Content Warnings
443 pages • missing pub info (editions)
ISBN/UID: 9780412820502
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 July 1997
Description
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 pr...
Community Reviews
Content Warnings