Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
아직 평점이 없습니다
May 19, 2015
·
영어
·
페이퍼백
(218 페이지)