Algorithimic Languages and Calculi

By Lambert Meerkens and Richard Bird

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0412820501
• ISBN13: 9780412820502
• Release Date: July 1997
• Publisher: Springer
• Length: 443 Pages
• Weight: 1.79 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"