Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 2006 Proceedings: 8th International Conference, ... Notes in Computer Science (4014), Band 4014)

Construction

von Tarmo Uustalu

Taschenbuch

ISBN-13: 978-3-540-35631-8

ISBN-10: 3-540-35631-2

Springer Berlin Heidelberg · 2008