![Algorithimic Languages and Calculi - IFIP Advances in Information and Communication Technology - Richard Bird - Books - Chapman and Hall - 9780412820502 - July 31, 1997](https://imusic.b-cdn.net/images/item/original/502/9780412820502.jpg?richard-bird-1997-algorithimic-languages-and-calculi-ifip-advances-in-information-and-communication-technology-hardcover-book&class=scaled&v=1605039236)
Tell your friends about this item:
Algorithimic Languages and Calculi - IFIP Advances in Information and Communication Technology 1997 edition
Richard Bird
Algorithimic Languages and Calculi - IFIP Advances in Information and Communication Technology 1997 edition
Richard Bird
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.
452 pages, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | July 31, 1997 |
ISBN13 | 9780412820502 |
Publishers | Chapman and Hall |
Pages | 443 |
Dimensions | 162 × 239 × 28 mm · 772 g |
Language | English |
Show all
More by Richard Bird
Others have also bought
See all of Richard Bird ( e.g. Paperback Book , Hardcover Book , Book , Bound Book and Sewn Spine Book )