Tools And Algorithms For The Construction And Analysis Of Systems | Desertcart Malaysia
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
产品编号: 343767843
安全交易
经常一起购买
描述
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
