Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science Book 9700)
まだ評価がありません
2016
·
英語
·
キンドル