• 题名: On the Refinement Calculus
    作者: Carroll Morgan, Trevor Vickers
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-19931-1
在架

测试图片