Algorithimic Languages and Calculi
| AUTHOR | Meerkens, Lambert; Bird, Richard |
| PUBLISHER | Springer (07/31/1997) |
| PRODUCT TYPE | Hardcover (Hardcover) |
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.
Show More
Product Format
Product Details
ISBN-13:
9780412820502
ISBN-10:
0412820501
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
443
Carton Quantity:
18
Product Dimensions:
6.14 x 1.00 x 9.21 inches
Weight:
1.79 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Software Development & Engineering - General
Dewey Decimal:
005.131
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $219.99
Your Price
$217.79