Mathematics of Program Construction

作者: Philippe Audebaud / Christine Paulin-Mohring
副标题: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008 - Proceedings
页数: 421
定价: 698.00元
ISBN: 9783540705932