Logic and algebra of specification

Web Site CiNii 所蔵館 32館

書誌事項

タイトル
"Logic and algebra of specification"
責任表示
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
出版者
  • Springer-Verlag
出版年月
  • c1993
書籍サイズ
25 cm
シリーズ名/番号
  • : us
  • : gw

この図書・雑誌をさがす

注記

"Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23-August 4, 1991"--T.p. verso

Includes bibliographical references

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ