Algorithimic Languages and Calculi 1997 Edition Contributor(s): Bird, Richard (Author), Meerkens, Lambert (Author) |
|
ISBN: 0412820501 ISBN-13: 9780412820502 Publisher: Springer OUR PRICE: $208.99 Product Type: Hardcover Published: July 1997 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General |
Dewey: 005.131 |
Series: IFIP Advances in Information and Communication Technology |
Physical Information: 1" H x 6.14" W x 9.21" (1.79 lbs) 443 pages |
Descriptions, Reviews, Etc. |
Publisher 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 proposed systems, and applications to the production of practical software. |