Proof in VDM : case studies

Web Site CiNii 所蔵館 11館

書誌事項

タイトル
"Proof in VDM : case studies"
責任表示
J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]
出版者
  • Springer-Verlag
出版年月
  • c1998
書籍サイズ
24 cm
シリーズ名/番号
  • : pbk

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連図書・雑誌

もっと見る

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

ページトップへ