The Leading eBooks Store Online 4,325,200 members ⚫ 1,431,678 ebooks

New to

Learn more

Algorithimic Languages and Calculi

Algorithimic Languages and Calculi by Richard Bird
Buy this eBook
US$ 249.00
(If any tax is payable it will be calculated and shown at checkout.)
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.
Springer US; January 2016
451 pages; ISBN 9780387352640
Read online, or download in secure PDF format
Title: Algorithimic Languages and Calculi
Author: Richard Bird; Lambert Meerkens
  • News
  • Contents
No entry found