• 题名: Industrial Applications of Formal Methods to Model Design and Analyze Computer Systems
    作者: Craigen, Dan
    索书号: http://www.sciencedirect.com/science/book/9780815513629
在架

测试图片