Tell your friends about this item:
Mathematics of Program Construction: Second International Conference, Oxford, U.k., June 29-july 3, 1992 - Proceedings - Lecture Notes in Computer Science Richard S Bird
Mathematics of Program Construction: Second International Conference, Oxford, U.k., June 29-july 3, 1992 - Proceedings - Lecture Notes in Computer Science
Richard S Bird
The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held in Oxford in 1992. They give evidence of the ever-widening impact of precise mathematical methods in program development.
380 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 6, 1993 |
| ISBN13 | 9783540566250 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 380 |
| Dimensions | 156 × 234 × 20 mm · 548 g |
| Language | German |
| Editor | Bird, Richard |
| Editor | Morgan, Charles Carroll |
| Editor | Woodcock, J.c.p. |