Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ...
아직 평점이 없습니다
Jun 11, 2010
·
영어
·
페이퍼백
(176 페이지)