Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
イメージを拡大
  • 発売日: 2013年1月7日 月曜日 - 発売中
  • 新刊発見日: 2013年01月07日
  • 在庫状況： 在庫あり
  • （2025年12月22日 00時13分 JST時点 - 詳細はこちら）
Amazon で購入する
  • Amazon.co.jp 価格： ￥8,898.
  • （2025年12月22日 00時13分 JST時点 - 詳細はこちら）
  • ASIN： 3642358721
  • EAN： 9783642358722
  • Book ペーパーバック

新刊チェックキーワード

[広告]