ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

書誌事項

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

Didier Bert ... [et al.] (eds.)

(Lecture notes in computer science, 2272)

Springer, c2002

大学図書館所蔵 件 / 25

この図書・雑誌をさがす

注記

Includes bibliographies and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ