ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

CiNii 所蔵館 21館

書誌事項

タイトル
"ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings"
責任表示
Didier Bert ... [et al.] (eds.)
出版者
  • Springer
出版年月
  • c2003
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Other editors: Jonathan P. Bowen, Steve King, Marina Waldén

関連図書・雑誌

もっと見る

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

ページトップへ