Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science (Lecture Notes in Comp. Sci)

Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science (Lecture Notes in Comp. Sci)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • ページ数 376 p.
  • 言語 ENG
  • 商品コード 9781280956775
  • DDC分類 005.131

最近チェックした商品