Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
아직 평점이 없습니다
Nov 30, 2012
·
영어
·
페이퍼백
(191 페이지)