Title | Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings |
---|---|
Author | Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.) |
Year | 2002 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 2386 |
Publisher | Springer-Verlag Berlin Heidelberg |
City | |
Language | English |