Algorithimic Languages and Calculi PDF
by Richard Bird, Lambert Meerkens
Part of the IFIP Advances in Information and Communication Technology series
- Information
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.
Information
-
Download Now
- Format:PDF
- Publisher:Springer US
- Publication Date:09/01/2016
- Category:
- ISBN:9780387352640
Information
-
Download Now
- Format:PDF
- Publisher:Springer US
- Publication Date:09/01/2016
- Category:
- ISBN:9780387352640