Opening book details…
Can I read Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386)) on EtoBox?
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386)) by Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.) is a nonfiction available to read on EtoBox.
What is Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386)) about?
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002. The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Who reads Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science (2386))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2002
- Language
- EN
- ISBN
- 9783540454427
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Language Learning
More by Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
Browse all works by Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
Similar books
- Sensor Based Intelligent Robots: International Workshop Dagstuhl Castle, Germany, September 28 - October 2, 1998 Selected Papers (lecture Notes In Computer Science) — Dieter Fox, Wolfram Burgard, Sebastian Thrun (auth.), Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (1999)
- Principles And Practice Of Semantic Web Reasoning: Third International Workshop, Ppswr 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings (lecture Notes In Computer Science) — P. Adjiman, P. Chatalic, F. Goasdoué, M. -C. Rousset, L. Simon (auth.), François Fages, Sylvain Soliman (2005)
- Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings — Ralf Hinze, Janis Voigtländer (2015)
- Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers (Lecture Notes in Computer Science, 5492) — R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (2009)
- Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945) — Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (2000)
- Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science (3938)) — Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (2006)