Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
| ISBN: | 9783540438571 |
| Publication date: | 26th June 2002 |
| Author: | MPC 2002 Conference, Eerke Boiten, B Möller |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 262 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Compilers and interpreters Software Engineering |
Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
Mathematics of Program Construction features in the following genres: Mathematical theory of computation, Compilers and interpreters, Software Engineering
Paperback. Not Available.
Mathematics of Program Construction was written by MPC 2002 Conference, Eerke Boiten, B Möller and published by Springer an imprint of Springer Berlin Heidelberg
Mathematics of Program Construction has 262 pages
Yes it is part of Lecture Notes in Computer Science series