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年06月16日 23時07分 JST時点 - 詳細はこちら)
- Ana Cavalcanti/Dennis Dams
- Springer-Verlag New York Inc (C)
- Amazon.co.jp 価格: ¥5,863.
- (2024年06月16日 23時07分 JST時点 - 詳細はこちら)
- ASIN: 3642050883
- EAN: 9783642050886
- ペーパーバック
新刊チェックキーワード
- bluespec 1 user
- noc 1 user
- computer architecture design 1 user
[広告]