Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings (Lecture Notes in Computer Science)

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings (Lecture Notes in Computer Science)
イメージを拡大
  • 発売日: 2008年8月 - 発売中
  • 新刊発見日: 2010年05月05日
  • 在庫状況： 在庫あり
  • （2024年05月24日 02時45分 JST時点 - 詳細はこちら）
Amazon で購入する
  • Amazon.co.jp 価格： ￥5,791.
  • （2024年05月24日 02時45分 JST時点 - 詳細はこちら）
  • ASIN： 3540851135
  • EAN： 9783540851134
  • Book ペーパーバック

新刊チェックキーワード

[広告]