Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science (669), Band 669)

Construction

von: Richard S. Bird · James C.P. Woodcock · C.Carroll Morgan

Taschenbuch

ISBN-13: 978-3-540-56625-0

ISBN-10: 3-540-56625-2

Springer · 2008