Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
아직 평점이 없습니다
2010
·
영어
·
페이퍼백