Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
Lecture Notes in Computer Science
Bernardo, M. (EDT)
De Nicola, R. (EDT)
Hillston, J. (EDT)
- 出版社：Springer
- 出版年月：2016年 06月
- ISBN：9783319340951
- 【ご注意事項】
- ※お客様都合による商品の返品は、原則としてお受けすることができません。
- ※提携先の在庫から手配するため、納期遅延や在庫切れとなる場合がございます。
- ※美品のご指定は承りかねます。
- ※一冊単位でのご注文となります。
- ※ご登録先のMy書店によってご注文いただけない場合がございます。
- ※お受け取り方法は、店頭受取のみとなります。
-
返品について
