Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science (669), Band 669)
von:
Richard S. Bird
·
James C.P. Woodcock
· C.Carroll Morgan
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-56625-0
ISBN-10: 3-540-56625-2
Springer
· 2008