This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of;Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
| ISBN: | 9783540223801 |
| Publication date: | 24th June 2004 |
| Author: | MPC 2004, Dexter Kozen |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 262 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of;Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Mathematics of Program Construction features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Paperback. Not Available.
Mathematics of Program Construction was written by MPC 2004, Dexter Kozen 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