Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
아직 평점이 없습니다
Sep 27, 2010
·
영어
·
페이퍼백
(273 페이지)