Relational and Kleene-Algebraic Methods in Computer Science

更新图书信息或封面

作者: Rudolf Berghammer / Bernhard Moller / Georg Struth
副标题: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
页数: 277
ISBN: 9783540221456