FM 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
- 発売日: 2009年12月15日 火曜日 - 発売中
- 新刊発見日: 2010年05月05日
- 在庫状況： -
- （2024年05月24日 04時36分 JST時点 - 詳細はこちら）
- Ana Cavalcanti/Dennis Dams
- Springer-Verlag New York Inc (C)
- Amazon.co.jp 価格： ￥5,863.
- （2024年05月24日 04時36分 JST時点 - 詳細はこちら）
- ASIN： 3642050883
- EAN： 9783642050886
ペーパーバック
新刊チェックキーワード
bluespec 1 user- noc 1 user
- computer architecture design 1 user
[広告]
