Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
还没有评分
Nov 30, 2012
·
英语
·
平装书
(191 页数)