Algorithimic Languages and Calculi - Richard Bird,Lambert Meerkens
-20% with code BOOKS
Shipping in 22-28 days
30-day return policy
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.
You May Also Like
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.
More Information
| Author | Richard Bird, Lambert Meerkens |
|---|---|
| Publisher | Springer Us |
| Release year | 1997 |
| Cover type | Hardcover |
| EAN | 9780412820502 |