Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ...
아직 평점이 없습니다
Jun 13, 2008
·
영어
·
페이퍼백
(280 페이지)