Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science (5133), Band 5133)
von
Philippe Audebaud
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-70593-2
ISBN-10: 3-540-70593-7
Springer
· 2008
