Formal Methods for Components and Objects: 8th International Symposium, Fmco 2009, Eindhoven, the Netherlands, November 4-6, 2009. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
- 発売日: 2011年7月30日 土曜日 - 発売中
- 新刊発見日: 2010年11月15日
- 在庫状況： -
- （2024年06月07日 11時05分 JST時点 - 詳細はこちら）
- Frank S. De Boer/Marcello M. Bonsangue/Stefan Hallerstede/Michael Leuschel
- Springer-Verlag New York Inc (C)
- Amazon.co.jp 価格： ￥6,234.
- （2024年06月07日 11時05分 JST時点 - 詳細はこちら）
- ASIN： 3642170706
- EAN： 9783642170706
ペーパーバック
新刊チェックキーワード
bluespec 1 user
[広告]
