Data refinement : model-oriented proof methods and their comparison

Web Site CiNii 所蔵館 24館

書誌事項

タイトル
"Data refinement : model-oriented proof methods and their comparison"
責任表示
Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]
出版者
  • Cambridge University Press
出版年月
  • 1998
書籍サイズ
24 cm
シリーズ名/番号
  • : hardback

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 404-418) and index

関連図書・雑誌

もっと見る

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

ページトップへ