Powiedz znajomym o tym przedmiocie:
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 | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 31 lipca 1997 |
ISBN13 | 9780412820502 |
Wydawcy | Chapman and Hall |
Strony | 443 |
Wymiary | 162 × 239 × 28 mm · 811 g |
Język | English |
Pokaż wszystko
Więcej od Richard Bird
Inni również kupili
Zobacz wszystko od Richard Bird ( np. Paperback Book , Hardcover Book , Book , Bound Book i Sewn Spine Book )