Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science)
発売日発売中
- 著者
- Marco Bernardo/Einar Broch Johnsen
- 出版社
- Springer
- 形式
- ペーパーバック
- 在庫状況
- 取り寄せ
- 新刊発見日
- 2015年5月11日
- 最終更新
- 2015年8月30日 21:56
- 価格確認日時
- 2015年8月30日 21:56
- ISBN/EAN
- 9783319189406
- 価格
- ¥8,284