Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems
まだ評価がありません
May 19, 2015
·
英語
·
ペーパーバック
(218 ページ)