Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
尚無評分
May 19, 2015
·
英語
·
平裝書
(218 頁數)